diff options
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 9cd0fd0..87aef3a 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -132,7 +132,7 @@ case "$cc_vendor-$cc_version" in # Profile PROFILE_CFLAGS="-pg" - # Optimization (only CFLAGS at this time) + # Optimization case "$cc_vendor-$cc_version" in gcc-[34].*) HIGH_OPT_CFLAGS="-O3" |