From 6bdd47a5573e53664d7990bad7df466e8a03460f Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Wed, 18 Jul 2018 22:28:19 +0200 Subject: [PATCH] Don't remove depend with a make clean otherwise you'll get a regeneration of the dependency file for each clean command which is useless. make distclean shall be used to remove the dependency file. --- tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Makefile b/tests/Makefile index 420201b7..c1840f08 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -60,9 +60,9 @@ check: depend clean: $(RM) *.exe *.s *~ *.o *.log *.valgrind ./a*.dat clang_output_* *.c.c *.end.c *.first.c *.middle.c $(RM) -rf coverage *.gcda *.gcno *.gcov all.info test.tar coverage-dir mlib-report *.synt - $(RM) *.depend depend distclean: clean + $(RM) *.depend depend ##################################################################################################### # Code generation analysis