From 1c264a258be01623b8936657a32f2251ca2059c1 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 5 Jan 2022 15:22:22 +0100
Subject: ccomp profiling

---
 test/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/Makefile')

diff --git a/test/Makefile b/test/Makefile
index b0010ea0..e998b52a 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -17,6 +17,9 @@ endif
 all:
 	set -e; for i in $(DIRS); do $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $$i all; done
 
+all_s:
+	set -e; for i in $(DIRS); do $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $$i all_s; done
+
 test:
 	set -e; for i in $(DIRS); do $(MAKE) SIMU='$(SIMU)' -C $$i test; done
 
-- 
cgit