]> Zhao Yanbai Git Server - minix.git/commit
Zhao YanBai
Repos / minix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86a2266) | patch
tools/Makefile: don't install servers (workaround)
authorBen Gras <ben@minix3.org>
Sun, 3 Jul 2011 13:01:18 +0000 (15:01 +0200)
committerBen Gras <ben@minix3.org>
Sun, 3 Jul 2011 13:01:18 +0000 (15:01 +0200)
commitcf3b75c6875d1bbb8409ff16d9570a8ec52ef197
tree46e4688b321b03abc8ddb1455534a741958beb1etree | snapshot
parent86a226680bf3adff9a7aa2b00e320afc1a3312f4commit | diff
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.)
tools/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.