foobar

gap-system · Sep 12, 2018 · 708875a · 708875a
1 parent a0aef3c
commit 708875a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci.sh b/etc/ci.sh
@@ -59,7 +59,7 @@ do
     # so may be due to C++ ABI differences). Once we require C++ support in GAP,
     # we can presumably re-enable it, if we switch the testpackge builds to use
     # GAP's builtin GMP.
-    rm -rf NormalizInterface*
+#    rm -rf NormalizInterface*
 
     # HACK to work out timestamp issues with anupq
     touch anupq*/configure* anupq*/Makefile* anupq*/aclocal.m4