1 files changed, 5 insertions, 0 deletions
diff --git a/cflags.SH b/cflags.SH
index 031b7800c1..bdb4bad971 100755
--- a/cflags.SH
+++ b/cflags.SH
@@ -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.