From 88724afdf363b97441e35c0bb74bcf55a6c49cb7 Mon Sep 17 00:00:00 2001 From: Cedric Roux Date: Fri, 17 Aug 2018 15:36:45 +0200 Subject: [PATCH] T: minor: don't clean tracers on 'make clean' --- common/utils/T/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/common/utils/T/Makefile b/common/utils/T/Makefile index 1f845ce4f8..87a6e34c5d 100644 --- a/common/utils/T/Makefile +++ b/common/utils/T/Makefile @@ -27,4 +27,6 @@ check_vcd: clean: rm -f *.o $(GENIDS) core T_IDs.h T_messages.txt.h _check_vcd + +cleanall: clean cd tracer && $(MAKE) clean