Updated Makefile for DS server.

diff --git a/tools/Makefile b/tools/Makefile
index e22b0ccac61f792a0df22706c6e5d005ce205675..d0c25446fcaa0a8df02b30ab8b72bc1ed43d44cb 100755 (executable)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -14,6 +14,7 @@ PROGRAMS=     ../kernel/kernel \
        ../servers/pm/pm \
        ../servers/fs/fs \
        ../servers/rs/rs \
+       ../servers/ds/ds \
        ../drivers/tty/tty \
        ../drivers/memory/memory \
        ../drivers/log/log \