aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-12-06 21:52:01 +0200
committerArnold D. Robbins <arnold@skeeve.com>2018-12-06 21:52:01 +0200
commit34622512479581e773239909c5ad8c3d8fd5d7b8 (patch)
treea8c6e5a74a68058ff59b2d3efd72022fbeb4139f /configure
parent8f20ce9c6198e6c2f4705e4d53084fd48cd30a75 (diff)
parentc856f5c96f88cc8a5aacf6ee90e92ed80bd8c3ba (diff)
downloadegawk-34622512479581e773239909c5ad8c3d8fd5d7b8.tar.gz
egawk-34622512479581e773239909c5ad8c3d8fd5d7b8.tar.bz2
egawk-34622512479581e773239909c5ad8c3d8fd5d7b8.zip
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure10
1 files changed, 9 insertions, 1 deletions
diff --git a/configure b/configure
index 89d4bdaf..14afbbc6 100755
--- a/configure
+++ b/configure
@@ -5414,7 +5414,7 @@ then
# enable debugging using macros also
if test "$GCC" = yes
then
- CFLAGS="$CFLAGS -Wall -fno-builtin -g3"
+ CFLAGS="$CFLAGS -Wall -fno-builtin -g3 -ggdb3"
fi
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
$as_echo "yes" >&6; }
@@ -12800,3 +12800,11 @@ 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
+then
+ for i in . support extension
+ do
+ sed '/-O2/s///' $i/Makefile > foo
+ mv foo $i/Makefile
+ done
+fi