diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-12-21 12:21:55 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-12-21 12:21:55 +0200 |
| commit | 60503a285ce7884ae2b58c864a0407a23dec17fd (patch) | |
| tree | 9b3c649634cd5bcbeea9bab1b3e372a625014b7f /configure | |
| parent | 041e792f6b4990d617d4e2c4b1445d874b1c9298 (diff) | |
| parent | 57ce0c9d0bd5d0dca6f009238170731d853dc891 (diff) | |
| download | egawk-60503a285ce7884ae2b58c864a0407a23dec17fd.tar.gz egawk-60503a285ce7884ae2b58c864a0407a23dec17fd.tar.bz2 egawk-60503a285ce7884ae2b58c864a0407a23dec17fd.zip | |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -12800,7 +12800,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 |