From c461b0c63ddbc80a2f336bf8f0fc751e08a4150d Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Thu, 12 Jan 2006 14:51:12 +0000
Subject: [PATCH] '$(GMAKE) all' in lib target

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

diff --git a/Makefile b/Makefile
index 1dfec7744..433c105c0 100755
--- a/Makefile
+++ b/Makefile
@@ -38,7 +38,7 @@ includes:
 	cd include && $(MAKE) install gcc
 
 libraries:
-	cd lib && $(GMAKE) install
+	cd lib && $(GMAKE) all && $(GMAKE) install
 
 cmds:
 	if [ -f commands/Makefile ] ; then cd commands && $(MAKE) all; fi
-- 
2.44.0