diff options
-rw-r--r-- | Docs/env.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Docs/env.sh b/Docs/env.sh index c537560b2..f70f013f1 100644 --- a/Docs/env.sh +++ b/Docs/env.sh @@ -255,7 +255,7 @@ ns-make-libs() echo " MAKE: make -C ${REPO} $USE_CPUS $*" ${MAKE} -C ${TARGET_WORKSPACE}/${REPO} $USE_CPUS $* if [ $? -ne 0 ]; then - exit $? + return $? fi done @@ -263,7 +263,7 @@ ns-make-libs() echo " MAKE: make -C ${REPO} $USE_CPUS $*" ${MAKE} -C ${TARGET_WORKSPACE}/${REPO} HOST=${HOST} $USE_CPUS $* if [ $? -ne 0 ]; then - exit $? + return $? fi done } |