]> Zhao Yanbai Git Server - minix.git/commit
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
tree46e4688b321b03abc8ddb1455534a741958beb1e
parent86a226680bf3adff9a7aa2b00e320afc1a3312f4
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