From 204a3250f4caa9dc2b031f17737a64e593646bb6 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@cranfield.ac.uk>
Date: Wed, 3 Oct 2007 09:04:12 +0000
Subject: [PATCH] Taken out the mkdir lib, the lib directory will now be in the
 tar file.

---
 Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 2b3c189a..90a62d52 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,8 @@
 include Make.inc
-PREC=prec
 
 library:
-	( [ -d lib ] || mkdir lib)
 	(cd base; make lib)
-	(cd $(PREC); make lib )
+	(cd prec; make lib )
 	(cd krylov; make lib)
 	(cd util; make lib )
 	@echo "====================================="
@@ -12,7 +10,7 @@ library:
 
 clean: 
 	(cd base; make clean)
-	(cd $(PREC); make clean )
+	(cd prec; make clean )
 	(cd krylov; make clean)
 	(cd util; make clean)
 
@@ -20,8 +18,7 @@ cleanlib:
 	(cd lib; /bin/rm -f *.a *$(.mod) *$(.fh))
 veryclean: cleanlib
 	(cd base; make veryclean)
-	(cd $(PREC); make veryclean )
+	(cd prec; make veryclean )
 	(cd krylov; make veryclean)
 	(cd util; make veryclean)
 
-.PHONY: lib