HACK-HACK-HACK

oscar-system · Jan 28, 2025 · 88c52bd · 88c52bd
1 parent 7b8f26d
commit 88c52bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci_test.sh b/etc/ci_test.sh
@@ -15,7 +15,7 @@ ${GAP} makedoc.g
 ${GAP} --cover ../../coverage/JuliaInterface.coverage tst/testall.g || AnyFailures=Yes
 gcov -o gen/src/ src/*.c*
 # Remove JuliaInterface with coverage instrumentation
-make clean
+#make clean
 cd ../..
 
 #