build-profile.sh tweaks

diff --git a/buildscripts/build-profile.sh b/buildscripts/build-profile.sh
index f095c66e87353c3d0f8407bacbbaa4a8f90c417c..92f23ab50e1a6637b4a07516c0d17c22cf61240b 100755 (executable)
--- a/buildscripts/build-profile.sh
+++ b/buildscripts/build-profile.sh
@@ -17,6 +17,9 @@ fi
 
 make conf=prof -j2
 
+if test "$?" != "0"; then
+  exit 2
+fi
 
 depth=../..
 resultdir=out/profile-results