Add CONFIGFLAGS accidentally deleted in f301e4e5

gap-system · May 18, 2019 · 1a68b82 · 1a68b82
1 parent 7162a59
commit 1a68b82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -127,7 +127,7 @@ matrix:
 
     # same as above, but in 32 bit mode, also turn off debugging (see elsewhere in this file for
     # an explanation).
-    - env: TEST_SUITES="docomp testinstall" NO_COVERAGE=1 ABI=32 BUILDDIR=build
+    - env: TEST_SUITES="docomp testinstall" NO_COVERAGE=1 ABI=32 BUILDDIR=build CONFIGFLAGS=""
       addons:
         apt_packages:
           - gcc-multilib