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.)
This commit is contained in:
parent
86a226680b
commit
cf3b75c687
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user