From 1058d49249a76b792e674d8a195166452a064137 Mon Sep 17 00:00:00 2001 From: Jorrit Herder Date: Thu, 20 Oct 2005 20:32:57 +0000 Subject: [PATCH] Updated Makefile for DS server. --- tools/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/Makefile b/tools/Makefile index e22b0ccac..d0c25446f 100755 --- 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 \