From 51fb243c981a602e93178dcb68e9a59eaaca5b1f Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Mon, 4 Jul 2016 16:58:30 +0200 Subject: [PATCH] [Makefile] Refine disclean target --- src/plugins/e-acsl/Makefile.in | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 0c0f6e9e810..5b44beabd81 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -182,17 +182,14 @@ clean:: ############ clean:: - $(PRINT_RM) cleaning generated test and doc files + $(PRINT_RM) cleaning generated test files $(RM) $(E_ACSL_DIR)/tests/*.cm* $(E_ACSL_DIR)/tests/*.o $(RM) $(E_ACSL_DIR)/tests/test_config $(RM) $(foreach dir, $(PLUGIN_TESTS_DIRS), tests/$(dir)/result/*) - $(RM) $(E_ACSL_DIR)/doc/doxygen/html/* - $(RM) $(E_ACSL_DIR)/doc/doxygen/warn.log - $(RM) $(E_ACSL_DIR)/doc/code/* DISTCLEANFILES = $(wildcard \ - Makefile config.log config.status configure .depend autom4te.cache/* \ doc/doxygen/doxygen.cfg \ + Makefile config.log config.status configure .depend autom4te.cache/* \ META.frama-c-e_acsl Makefile.plugin.generated local_config.ml top/*) distclean: @@ -410,3 +407,4 @@ clean:: $(PRINT_RM) generated documentation $(RM) $(E_ACSL_DIR)/doc/doxygen/html/* $(RM) $(E_ACSL_DIR)/doc/code/* + $(RM) $(E_ACSL_DIR)/doc/doxygen/warn.log -- GitLab