Author: jfrederic.clere(a)jboss.com Date: 2008-02-06 11:42:48 -0500 (Wed, 06 Feb 2008) New Revision: 1382 Modified: trunk/build/unix/build.sh Log: It can't work without gnu patch. Modified: trunk/build/unix/build.sh =================================================================== --- trunk/build/unix/build.sh 2008-02-06 13:53:19 UTC (rev 1381) +++ trunk/build/unix/build.sh 2008-02-06 16:42:48 UTC (rev 1382) @@ -168,8 +168,8 @@ # Check for some gnu mandadory tools. patch=`util/find_gnu.sh patch` if [ "x" = "x${patch}" ]; then - patch=patch - echo "Warning missing gnu patch command" + echo "Error missing gnu patch command" + exit 1 fi export patch