@@ -107,4 +107,4 @@ echo
 
 pushd "$EXAMPLE_DIR"
 
-${EXAMPLE_BUILD_DIR}/arrow-example
+"${EXAMPLE_BUILD_DIR}/arrow-example"
Original file line number	Diff line number	Diff line change
`@@ -107,4 +107,4 @@ echo`
`107`	`107`
`108`	`108`	`pushd "$EXAMPLE_DIR"`
`109`	`109`
`110`		`-${EXAMPLE_BUILD_DIR}/arrow-example`
	`110`	`+"${EXAMPLE_BUILD_DIR}/arrow-example"`