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