From: Han-Wen Nienhuys <hanwen@xs4all.nl>
Date: Fri, 5 Jan 2007 11:00:05 +0000 (+0100)
Subject: build-profile.sh tweaks
X-Git-Tag: release/2.11.9-1~12
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=bc6889b41a57552638d0c2c8cbf65032927dda5f;p=lilypond.git

build-profile.sh tweaks
---

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