From 406bf62613b8240ebcb986a2ddfec62121827e38 Mon Sep 17 00:00:00 2001
From: Anya Helene Bagge <anya@ii.uib.no>
Date: Sun, 5 Mar 2023 19:41:45 +0100
Subject: [PATCH] skip wip tests

---
 run-tests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-tests b/run-tests
index b1de4ee..2c72039 100755
--- a/run-tests
+++ b/run-tests
@@ -19,7 +19,7 @@ compile()
 
     [ -d "$REPORT_DIR" ] || mkdir -p "$REPORT_DIR"
 
-    for i in $(cd "$TEST_DIR"; find . -name '*_Test*.hs' -o -name 'wip*' -prune); do
+    for i in $(cd "$TEST_DIR"; find . -name 'wip*' -prune -o -name '*_Test*.hs' -print); do
         i="${i#./}"   # strip leading ./
         o="${i%.hs}"  # strip trailing .hs
         r=$(echo "$o" | sed -e 's;/;_;g')    #  / â†’ _
-- 
GitLab