From b051e78bf8058ca400d28ada32dbd9a3de9ef642 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Wed, 28 Nov 2018 15:31:03 +0100
Subject: Génération de traces pour Lilliput-Ⅰ-192
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5395158..d8262f2 100644
--- a/Makefile
+++ b/Makefile
@@ -12,10 +12,15 @@ $(delegated)::
 	    make -C $$i $@;                         \
 	done
 
+clean::
+	- rm traces.tgz
+
 # To generate complete traces, apply this patch before running "make traces":
 #     $ git apply traces.patch
 # To update this patch, add print statements, then run
 #     $ git diff src > traces.patch
-traces::
+traces:: traces.tgz
+
+traces.tgz:
 	@ echo "Collecting traces"
 	@ ./collect-traces.sh
-- 
cgit v1.2.3