From 766989820c36c8ea711f2ace713b82aa78e19e90 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 28 Nov 2012 09:55:16 +0100
Subject: [PATCH] Added possibility to compile lib from subdirs

---
 src/maketools/make.module | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/maketools/make.module b/src/maketools/make.module
index 1b35e69ac..6e6159de7 100644
--- a/src/maketools/make.module
+++ b/src/maketools/make.module
@@ -32,6 +32,10 @@ all:
 .PHONY: obj
 obj: $(OBJ)
 
+.PHONY: lib
+lib:
+	cd ../lib ; make
+
 $(DEP): ../config/PlumedConfig.h ../config/Makefile.conf.xxd
 
 -include $(DEP)
-- 
GitLab