From: Ben Gras <ben@minix3.org>
Date: Sun, 3 Jul 2011 13:01:18 +0000 (+0200)
Subject: tools/Makefile: don't install servers (workaround)
X-Git-Tag: v3.2.0~499
X-Git-Url: http://zhaoyanbai.com/repos/%7B%24global.css%7D?a=commitdiff_plain;h=cf3b75c6875d1bbb8409ff16d9570a8ec52ef197;p=minix.git

tools/Makefile: don't install servers (workaround)

   . if the build target is invoked again for the install target, the
     stack sizes aren't set properly. A workaround is to only build
     and not install the servers. (Installing them doesn't really make
     sense anyway.)
---

diff --git a/tools/Makefile b/tools/Makefile
index 6c496e9a0..52ef830e6 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -87,7 +87,7 @@ kernel: includes
 	$(MAKE) -C ../kernel 
 
 servers: includes
-	$(MAKE) -C ../servers all install
+	$(MAKE) -C ../servers all
 
 drivers: includes servers
 	$(MAKE) -C ../drivers all install