diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-07-04 06:17:38 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-07-04 06:17:38 -0400 |
| commit | 1a9746debdc8965edd84d27537ef9c55511ea04e (patch) | |
| tree | d066f9600fe877412e799051f33c201dc5fd7ad3 /autogen | |
| parent | 013aabf1249f5b96b4a848738d5faab38a287fc6 (diff) | |
| download | emacs-1a9746debdc8965edd84d27537ef9c55511ea04e.tar.gz | |
Auto-commit of generated files.
Diffstat (limited to 'autogen')
| -rwxr-xr-x | autogen/configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/autogen/configure b/autogen/configure index 9634fe55ec1..47c21af749d 100755 --- a/autogen/configure +++ b/autogen/configure @@ -7157,6 +7157,12 @@ fi nw="$nw -Wsuggest-attribute=const" nw="$nw -Wsuggest-attribute=pure" + # Some loops can't be optimized with -O1, + # so remove -Wunsafe-loop-optimizations. + if echo "$CFLAGS" | $EGREP 'O1' 1>/dev/null; then + nw="$nw -Wunsafe-loop-optimizations" + fi + if test -n "$GCC"; then |