Fix the clean_old_install Makefile rule

abf380d6 · Jacques-Pascal Deplaix · Jean-Christophe Filliâtre · 24c88f90 · abf380d6
Commit abf380d6 authored May 07, 2014 by Jacques-Pascal Deplaix Committed by Jean-Christophe Filliâtre May 13, 2014
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Makefile.in Makefile.in +2 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -229,10 +229,12 @@ clean::
 # installation
 ###############

+# TODO: Clean this madness
 clean_old_install:
 	rm -f $(BINDIR)/why3*
 	rm -rf $(DATADIR)/why3
 	rm -rf $(OCAMLINSTALLLIB)/why3
+	rm -rf $(LIBDIR)/why3/plugins


 ifeq ($(EMACS),no)
@@ -400,7 +402,6 @@ clean::
 	rm -f lib/plugins/*

 install_no_local::
-	rm -rf $(LIBDIR)/why3/plugins
 	mkdir -p $(LIBDIR)/why3/plugins
 	cp -f $(foreach f,$(LIBPLUGCMO) $(LIBPLUGCMXS),$(wildcard $(f))) $(LIBDIR)/why3/plugins