From d134121b09aa04aa5cd43a9c4d30566617eefd9c Mon Sep 17 00:00:00 2001
From: Arun Thomas <arun@minix3.org>
Date: Wed, 2 Nov 2011 18:46:06 +0100
Subject: [PATCH] Install servers in GCC/clang case

---
 tools/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/Makefile b/tools/Makefile
index 1a09c09d6..d8991b713 100644
--- 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
-- 
2.44.0