From e36dc62e51cd05bc8d7e07a26011dc87549198b0 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Fri, 26 Jan 2018 10:18:03 +0100
Subject: [PATCH] Fix

make clean was not correctly cleaning plumed executable
---
 src/lib/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib/Makefile b/src/lib/Makefile
index c6c119bea..1c53740d4 100644
--- a/src/lib/Makefile
+++ b/src/lib/Makefile
@@ -434,8 +434,7 @@ endif
 .PHONY: clean dirslinks
 clean:
 	rm -f $(CLEANLIST)
-	rm -f $(PLUMED_MAIN_STATIC) $(PLUMED_MAIN_SHARED) $(PLUMED_MAIN_RUNTIME)
-	rm -f Plumed.inc* plumed-* Plumed.cmake*
+	rm -f plumed Plumed.inc* plumed-* Plumed.cmake*
 # this is not necessary, I leave it here to remove spurious plumed.vim files generated with
 # the first version of plumed.vim syntax file:
 	rm -f plumed.vim
-- 
GitLab