|
|
@ -10,7 +10,7 @@ rm -f configure.in configure.ac |
|
|
|
php make-preload.php |
|
|
|
php make-preload.php |
|
|
|
phpize |
|
|
|
phpize |
|
|
|
if [ "$1" = "--release" ]; then |
|
|
|
if [ "$1" = "--release" ]; then |
|
|
|
./configure --with-php-config=$(which php-config) CFLAGS="-DNDEBUG" |
|
|
|
./configure --with-php-config=$(which php-config) |
|
|
|
else |
|
|
|
else |
|
|
|
# To get debugging symbols in PHP itself, build PHP with: |
|
|
|
# To get debugging symbols in PHP itself, build PHP with: |
|
|
|
# $ ./configure --enable-debug CFLAGS='-g -O0' |
|
|
|
# $ ./configure --enable-debug CFLAGS='-g -O0' |
|
|
|