Build order fix
authoryauhenk <yauhenk@student.ethz.ch>
Mon, 4 May 2015 12:58:47 +0000 (14:58 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Mon, 4 May 2015 12:58:47 +0000 (14:58 +0200)
On some machines Barrelfish doesn't build due to
the missed dependency in the barrelfish lib hakefile.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

lib/barrelfish/Hakefile

index 9d733a0..bf31e4e 100644 (file)
                     assemblyFiles = arch_assembly (archFamily arch),
                     addCFlags = [ "-DARRAKIS", "-DMORECORE_PAGESIZE="++(morecore_pagesize arch) ],
                     flounderBindings = [ "mem", "octopus", "interdisp", "spawn", "arrakis",
-                                         "terminal" ],
+                                         "terminal", "terminal_config", "terminal_session" ],
                     -- only makes sense to compile monitor binding for lmp
                     flounderTHCStubs = [ "octopus" ],
                     flounderExtraBindings = [ ("monitor", ["lmp"]),