Permalink
Browse files

Ensure we forward the error code of 'make'

  • Loading branch information...
1 parent 7c4e0f7 commit e52ea96d1e6dda0619202b627b09121e3b3665ee @ludamad committed Mar 1, 2013
Showing with 4 additions and 4 deletions.
  1. +4 −4 make.sh
View
@@ -9,14 +9,14 @@ T="$(date +%s%N)"
## START TIMER CODE
##MAKE
-failed=false
-if ! make -j4 then
- failed=true
+failed=0
+if ! make -j4 ; then
+ failed=1
fi
## END TIMER CODE
T="$(($(date +%s%N)-T))"
echo "Total build time: $((T/1000000))ms"
## END TIMER CODE
-exit $failed
+exit "$failed"

0 comments on commit e52ea96

Please sign in to comment.