Skip to content
Snippets Groups Projects
Commit ef532a0b authored by Julien Signoles's avatar Julien Signoles
Browse files

[makefile] improve e-acsl-disdistclean

parent c1372d1b
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
+ 2
− 2
View file @ ef532a0b
...@@ -257,9 +257,9 @@ EACSL_CLEANFILES = doc/doxygen/doxygen.cfg \ ...@@ -257,9 +257,9 @@ EACSL_CLEANFILES = doc/doxygen/doxygen.cfg \
Makefile config.log config.status configure .depend autom4te.cache/* \ Makefile config.log config.status configure .depend autom4te.cache/* \
META.frama-c-e_acsl Makefile.plugin.generated src/local_config.ml top/* META.frama-c-e_acsl Makefile.plugin.generated src/local_config.ml top/*
e-acsl-distclean:: clean e-acsl-distclean: clean
$(PRINT_RM) generated project files $(PRINT_RM) generated project files
$(RM) $(addprefix $(E_ACSL_DIR)/, $(EACSL_CLEANFILES)) $(RM) $(wildcard $(addprefix $(E_ACSL_DIR)/, $(EACSL_CLEANFILES)))
################################ ################################
# Building source distribution # # Building source distribution #
......
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