Merge remote-tracking branch 'upstream/master' into sockeye
[barrelfish] / usr / skb / Hakefile
index 67bd2b5..c188504 100644 (file)
@@ -30,7 +30,7 @@ let ramfs_files = find inDir "programs" ".pl" ++
                                                  "icsolver", "vfs_ramfs",
                                                  "posixcompat", "hashtable", "pcre", 
                                                  "octopus_server", "octopus_parser", "skb",
-                                                 "bench", "dmalloc", "lwip" ],
+                                                 "bench", "lwip" ],
                        architectures = [ arch ]
                 }
 in