From 9e7b594ec6e2c8fec61ff251ac3d4cc25e97c470 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 12 Mar 2025 22:27:01 +0100
Subject: [PATCH] Makefile: improve [make test] to use more parallelism and
 produce interactive output.

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 9680cda..83bf534 100644
--- a/Makefile
+++ b/Makefile
@@ -59,11 +59,12 @@ clean:
 # toplevel, then we run [make unattended_norebuild] in every demo directory.
 
 # LOOP := xargs -n1
-LOOP := parallel --no-notice --jobs 4
+LOOP := parallel --no-notice --jobs 8 --group
 
 .PHONY: test
-test: dependencies
-	@ make clean
+test:
+#	@ make dependencies
+#	@ make clean
 	@ make -f Makefile.monolith all --no-print-directory
 	@ $(DEMOS) \
 	  | $(LOOP) make unattended_norebuild --no-print-directory -C
-- 
GitLab