diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2007-01-04 09:12:28 +0000 |
---|---|---|
committer | Paolo Bonzini <bonzini@gnu.org> | 2007-01-04 09:12:28 +0000 |
commit | db0d62daede8adaaf405bc2d3e912b7a6400bb41 (patch) | |
tree | 0a3f46849d43a04b9bf4551692c6a255907a22b0 /configure | |
parent | 4c147d34a6a66bd7315ee2b0629fdca66c583f33 (diff) | |
download | gdb-db0d62daede8adaaf405bc2d3e912b7a6400bb41.tar.gz |
2007-01-04 Paolo Bonzini <bonzini@gnu.org>
* configure.in: Use DEV-PHASE to detect the default for --enable-werror.
* configure: Regenerate.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure index 2e3af68a72c..9a970a469ff 100755 --- a/configure +++ b/configure @@ -7439,13 +7439,16 @@ fi # Enable -Werror in bootstrap stage2 and later. -# Change the default to "no" on release branches. # Check whether --enable-werror or --disable-werror was given. if test "${enable_werror+set}" = set; then enableval="$enable_werror" : else + if test -d gcc && test x"`cat $srcdir/gcc/DEV-PHASE`" = xexperimental; then enable_werror=yes +else + enable_werror=no +fi fi case ${enable_werror} in |