From 88c52bda1974ea521256c2f0a1db84892362c2ef Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 12 Dec 2024 23:28:43 +0100
Subject: [PATCH] HACK-HACK-HACK

---
 etc/ci_test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ci_test.sh b/etc/ci_test.sh
index 895630e4e..285d90910 100755
--- 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 ../..
 
 #