diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-12-21 12:20:49 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-12-21 12:20:49 +0200 |
commit | 57ce0c9d0bd5d0dca6f009238170731d853dc891 (patch) | |
tree | 8e07a3665012385a71479d01a83883a57fc25462 /configure | |
parent | de5f5e33aaf66cf5de836ef9224e68fc0546ae11 (diff) | |
download | gawk-57ce0c9d0bd5d0dca6f009238170731d853dc891.tar.gz |
Improve auto debug for .developing.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |