diff --git a/ivette/Makefile b/ivette/Makefile index 63eabe7cdaeed41722852264f539cb345b689bb1..510191e354240fa786f2550c338a4112f574c819 100644 --- a/ivette/Makefile +++ b/ivette/Makefile @@ -255,10 +255,10 @@ ifdef PREFIX uninstall: @echo "Uninstall Ivette" + @rm -f $(BINDIR)/ivette + @rm -f $(LIBDIR)/frama-c/ivette.tgz @rm -fr $(LIBDIR)/frama-c/Ivette.app - @rm -f $(LIBDIR)/frama-c/ivette.tgz - @rm -f $(LIBDIR)/frama-c/ivette - @rm -f $(BINDIR)/ivette + @rm -fr $(LIBDIR)/frama-c/ivette endif diff --git a/ivette/Makefile.installation b/ivette/Makefile.installation index 4b6753ec81102dca78b201f96d8cf303bc964bff..9f302b06dd1e3a566ab63650dd62c2b02ea425d8 100644 --- a/ivette/Makefile.installation +++ b/ivette/Makefile.installation @@ -47,9 +47,9 @@ install:: uninstall:: @echo "Removing Ivette" - @rm -f ${PREFIX}/bin/ivette - @rm -f ${PREFIX}/lib/frama-c/ivette.tgz + @rm -f ${PREFIX}/bin/ivette + @rm -f ${PREFIX}/lib/frama-c/ivette.tgz @rm -fr ${PREFIX}/lib/frama-c/Ivette.app @rm -fr ${PREFIX}/lib/frama-c/ivette - + endif