Author: jfrederic.clere(a)jboss.com Date: 2007-07-20 12:06:36 -0400 (Fri, 20 Jul 2007) New Revision: 56 Modified: trunk/php/buildphp.sh Log: Oops we need MAKE to be set correctly even if make is a gnu make. Modified: trunk/php/buildphp.sh =================================================================== --- trunk/php/buildphp.sh 2007-07-20 15:29:33 UTC (rev 55) +++ trunk/php/buildphp.sh 2007-07-20 16:06:36 UTC (rev 56) @@ -402,11 +402,8 @@ fi # Set MAKE and GNUMAKE -make --version 2>/dev/null | grep GNU >/dev/null -if [ $? -ne 0 ]; then - LOC=`echo "$PATH" | sed 's/:/ /g'` - search_make $LOC -fi +LOC=`echo "$PATH" | sed 's/:/ /g'` +search_make $LOC ADDCONF="$ADDCONF --with-t1lib=no" case ${OS} in