Skip to content
Snippets Groups Projects
Commit 51fb243c authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

[Makefile] Refine disclean target

parent 8a16149d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 3
− 5
View file @ 51fb243c
...@@ -182,17 +182,14 @@ clean:: ...@@ -182,17 +182,14 @@ clean::
############ ############
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/*.cm* $(E_ACSL_DIR)/tests/*.o
$(RM) $(E_ACSL_DIR)/tests/test_config $(RM) $(E_ACSL_DIR)/tests/test_config
$(RM) $(foreach dir, $(PLUGIN_TESTS_DIRS), tests/$(dir)/result/*) $(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 \ DISTCLEANFILES = $(wildcard \
Makefile config.log config.status configure .depend autom4te.cache/* \
doc/doxygen/doxygen.cfg \ 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/*) META.frama-c-e_acsl Makefile.plugin.generated local_config.ml top/*)
distclean: distclean:
...@@ -410,3 +407,4 @@ clean:: ...@@ -410,3 +407,4 @@ clean::
$(PRINT_RM) generated documentation $(PRINT_RM) generated documentation
$(RM) $(E_ACSL_DIR)/doc/doxygen/html/* $(RM) $(E_ACSL_DIR)/doc/doxygen/html/*
$(RM) $(E_ACSL_DIR)/doc/code/* $(RM) $(E_ACSL_DIR)/doc/code/*
$(RM) $(E_ACSL_DIR)/doc/doxygen/warn.log
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment