diff options
-rwxr-xr-x | buildconf | 31 |
1 files changed, 2 insertions, 29 deletions
@@ -33,37 +33,10 @@ if test "$dev" = "0" -a "$devok" = "0"; then exit 1 fi -if test -z "$ZENDDIR"; then - if grep "PHP_MAJOR_VERSION 6" main/php_version.h >/dev/null; then - v=5 - else - v=4 - fi - - if test "$v" = "5"; then - if test -r "Zend/OBJECTS2_HOWTO"; then - : - else - mv Zend ZendEngine1 2>/dev/null - mv ZendEngine2 Zend - fi - else - if test -r "Zend/zend_execute_globals.h"; then - : - else - mv Zend ZendEngine2 2>/dev/null - mv ZendEngine1 Zend - fi - fi - - ZENDDIR=Zend - echo "using default Zend directory" -fi - rm -f generated_lists if test "$debug" = "yes"; then - ${MAKE:-make} -s -f build/build.mk ZENDDIR="$ZENDDIR" SUPPRESS_WARNINGS="" + ${MAKE:-make} -s -f build/build.mk ZENDDIR="Zend/" SUPPRESS_WARNINGS="" else - ${MAKE:-make} -s -f build/build.mk ZENDDIR="$ZENDDIR" + ${MAKE:-make} -s -f build/build.mk ZENDDIR="Zend/" fi |