Changes for nameservice. Use RPC client for NS functionality.
[barrelfish] / hake / ArchDefaults.hs
index 9d9ca8b..bf245cb 100644 (file)
@@ -79,8 +79,7 @@ ldCxxFlags arch =
 
 stdLibs arch = 
     [ In InstallTree arch "/lib/libbarrelfish.a",
-      In InstallTree arch "/lib/libdist2.a",
-      In InstallTree arch "/lib/libdist_parser.a",
+      In InstallTree arch "/lib/libdist_parser.a", -- dist_read() in nameservice_client.c
       In InstallTree arch "/errors/errno.o",
       In InstallTree arch "/lib/libc.a",
       In InstallTree arch "/lib/crtend.o" ,