From ec27d3d67cf3c6b571df54912c7d5563b6245f19 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@cranfield.ac.uk>
Date: Fri, 11 Nov 2011 09:52:13 +0000
Subject: [PATCH] *** empty log message ***

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4bf8cae5..23c12e32 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ kryld:
 utild:
 	cd util&& $(MAKE) lib 
 
-install: all
+install: 
 	(./mkdir.sh  $(INSTALL_DIR) &&\
 	   $(INSTALL_DATA) Make.inc  $(INSTALL_DIR))
 	(./mkdir.sh  $(INSTALL_LIBDIR) &&\