From: Jorrit Herder Date: Thu, 20 Oct 2005 20:32:40 +0000 (+0000) Subject: Updated makefile for DS server. X-Git-Tag: v3.1.2a~589 X-Git-Url: http://zhaoyanbai.com/repos/man.host.html?a=commitdiff_plain;h=9ea63c60fa0d6aace0e979b1abb4f14f2da7ead4;p=minix.git Updated makefile for DS server. --- 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