diff options
Diffstat (limited to 'cflags.SH')
-rwxr-xr-x | cflags.SH | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -455,6 +455,11 @@ for file do # or customize here case "$file" in + regcomp) : work around http://bugs.debian.org/754054 + case $archname in + mips-*|mipsel-*) + optimize="$optimize -fno-tree-vrp";; + esac;; *) ;; # Customization examples follow. |