diff options
| -rwxr-xr-x | ChangeLog | 4 | ||||
| -rwxr-xr-x | configure | 4 | ||||
| -rw-r--r-- | configure.ac | 4 |
3 files changed, 10 insertions, 2 deletions
@@ -1,3 +1,7 @@ +2018-12-21 Arnold D. Robbins <arnold@skeeve.com> + + * configure.ac: Remove -O only if .developing has 'debug' in it. + 2018-12-18 Arnold D. Robbins <arnold@skeeve.com> * Makefile.am (distclean-local): Remove .deps directory. @@ -12830,7 +12830,9 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} fi -if test "$GCC" = yes && test -f $srcdir/.developing +if test "$GCC" = yes && + test -f $srcdir/.developing && + grep -i debug $srcdir/.developing > /dev/null then for i in . support extension do diff --git a/configure.ac b/configure.ac index bbc87b9e..801bf839 100644 --- a/configure.ac +++ b/configure.ac @@ -485,7 +485,9 @@ then AC_CONFIG_SUBDIRS(extension) fi AC_OUTPUT -if test "$GCC" = yes && test -f $srcdir/.developing +if test "$GCC" = yes && + test -f $srcdir/.developing && + grep -i debug $srcdir/.developing > /dev/null then for i in . support extension do |