diff --git a/tools/Makefile b/tools/Makefile
index 6c496e9a0..52ef830e6 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -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