From bc6889b41a57552638d0c2c8cbf65032927dda5f Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Fri, 5 Jan 2007 12:00:05 +0100 Subject: [PATCH] build-profile.sh tweaks --- buildscripts/build-profile.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/buildscripts/build-profile.sh b/buildscripts/build-profile.sh index f095c66e87..92f23ab50e 100755 --- 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 -- 2.39.5