Updated makefile for DS server.

diff --git a/servers/Makefile b/servers/Makefile
index 8e0852c81e9ced65bb0a35915b442351b163c22d..938e7585449c38a5c10da76a630d843864651ea7 100644 (file)
--- 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