From 38e49a976730af431648d30b334db48f1ccac93b Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Wed, 28 Nov 2018 14:50:34 +0100 Subject: Ajout de mécanique pour générer des traces plus facilement (suite) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6b54725..dbae0f9 100644 --- a/Makefile +++ b/Makefile @@ -6,8 +6,12 @@ delegated = clean test traces .PHONY: $(delegated) -$(delegated): +$(delegated):: for i in $(implementations); \ do \ make -C $$i $@; \ done + +traces:: + @ echo "Collecting traces" + @ ./collect-traces.sh -- cgit v1.2.3