Skip to content
Snippets Groups Projects
Commit 1dccebda authored by Patrick Baudin's avatar Patrick Baudin Committed by Julien Signoles
Browse files

[makefile] minor change

parent 82e6c1bf
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
+ 1
− 1
View file @ 1dccebda
...@@ -433,7 +433,7 @@ uninstall:: ...@@ -433,7 +433,7 @@ uninstall::
$(RM) $(LIBDIR)/libeacsl-*.a $(RM) $(LIBDIR)/libeacsl-*.a
$(PRINT_RM) E-ACSL scripts $(PRINT_RM) E-ACSL scripts
$(RM) $(BINDIR)/e-acsl-gcc.sh $(RM) $(BINDIR)/e-acsl-gcc.sh
$(PRINT_RM) man pages $(PRINT_RM) E-ACSL man pages
$(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1 $(RM) $(MANDIR)/man1/e-acsl-gcc.sh.1
#################### ####################
......
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