]> granicus.if.org Git - php/commitdiff
use -O0 with --enable-debug
authorAntony Dovgal <tony2001@php.net>
Sun, 6 Aug 2006 20:45:42 +0000 (20:45 +0000)
committerAntony Dovgal <tony2001@php.net>
Sun, 6 Aug 2006 20:45:42 +0000 (20:45 +0000)
configure.in

index 0cb090bc6b06041e265f0614bb7b20d432e384d5..c5270bbedbc75dfdbfb0926146344892f0c45025 100644 (file)
@@ -674,6 +674,10 @@ PHP_ARG_ENABLE(debug, whether to include debugging symbols,
 if test "$PHP_DEBUG" = "yes"; then
   PHP_DEBUG=1
   ZEND_DEBUG=yes
+  changequote({,})
+  CFLAGS=`echo "$CFLAGS" | $SED -e 's/-O[0-9]*//g'`
+  changequote([,])
+  CFLAGS="$CFLAGS -O0"
 else
   PHP_DEBUG=0
   ZEND_DEBUG=no