diff --git a/src/engine/build.sh b/src/engine/build.sh index 8396622c3..95d4bb572 100755 --- a/src/engine/build.sh +++ b/src/engine/build.sh @@ -12,7 +12,7 @@ BOOST_JAM_TOOLSET= echo_run () { echo "$@" - "$@" + $@ r=$? if test $r -ne 0 ; then exit $r