From 9ea63c60fa0d6aace0e979b1abb4f14f2da7ead4 Mon Sep 17 00:00:00 2001 From: Jorrit Herder Date: Thu, 20 Oct 2005 20:32:40 +0000 Subject: [PATCH] Updated makefile for DS server. --- servers/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/servers/Makefile b/servers/Makefile index 8e0852c81..938e75854 100644 --- a/servers/Makefile +++ b/servers/Makefile @@ -18,6 +18,7 @@ all install depend clean: cd ./pm && $(MAKE) $@ cd ./fs && $(MAKE) $@ cd ./rs && $(MAKE) $@ + cd ./ds && $(MAKE) $@ cd ./is && $(MAKE) $@ cd ./init && $(MAKE) $@ cd ./inet && $(MAKE) $@ @@ -26,6 +27,7 @@ image: cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build cd ./fs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build + cd ./ds && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build -- 2.44.0