From 20d160e379814c8e738a6425d6ca27c64ca5fedd Mon Sep 17 00:00:00 2001 From: Salvatore Filippone Date: Fri, 29 Feb 2008 10:48:53 +0000 Subject: [PATCH] *** empty log message *** --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 90a62d52..76ac07af 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ include Make.inc library: + (if test ! -d lib ; then mkdir lib; fi) (cd base; make lib) (cd prec; make lib ) (cd krylov; make lib)