Ben Gras cf3b75c687 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.)

2011-07-03 15:01:18 +02:00

3.5 KiB

Raw Blame History

View Raw