summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-12-21 12:20:49 +0200
committerArnold D. Robbins <arnold@skeeve.com>2018-12-21 12:20:49 +0200
commit57ce0c9d0bd5d0dca6f009238170731d853dc891 (patch)
tree8e07a3665012385a71479d01a83883a57fc25462 /configure
parentde5f5e33aaf66cf5de836ef9224e68fc0546ae11 (diff)
downloadgawk-57ce0c9d0bd5d0dca6f009238170731d853dc891.tar.gz
Improve auto debug for .developing.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index f488b48d..51f42830 100755
--- a/configure
+++ b/configure
@@ -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