Install servers in GCC/clang case

diff --git a/tools/Makefile b/tools/Makefile
index 1a09c09d647989c566c711426cca0e3568b7b99b..d8991b713f97c5e4ca6bb973e1247350cc39151e 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -93,8 +93,13 @@ services: includes kernel servers .WAIT drivers
 kernel: includes
        $(MAKE) -C ../kernel 
 
+.if ${COMPILER_TYPE} == "gnu"
+servers: includes
+       $(MAKE) -C ../servers all install
+.else
 servers: includes
        $(MAKE) -C ../servers all
+.endif
 
 drivers: includes servers
        $(MAKE) -C ../drivers all install