diff options
| -rwxr-xr-x | test/hello_world/run_mambo_p9_hello_world.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/hello_world/run_mambo_p9_hello_world.sh b/test/hello_world/run_mambo_p9_hello_world.sh index eee0f733..022c71e3 100755 --- a/test/hello_world/run_mambo_p9_hello_world.sh +++ b/test/hello_world/run_mambo_p9_hello_world.sh @@ -9,7 +9,7 @@ if [ -z "$P9MAMBO_BINARY" ]; then fi if [ ! -x "$P9MAMBO_PATH/$P9MAMBO_BINARY" ]; then - echo "Could not find executable P9MAMBO_BINARY ($P9MAMBO_PATH/$MAMBO_BINARY). Skipping hello_world test"; + echo "Could not find executable P9MAMBO_BINARY ($P9MAMBO_PATH/$P9MAMBO_BINARY). Skipping hello_world test"; exit 0; fi |
