projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 857c66d) | patch
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)
commit765a3aaf2ccd18556406ff0debdf2f9916e979fc
treef392dafdbee4ccd9ec7370014dccd012ab3c2542tree | snapshot
parent857c66dd207127ec3cc9fc0c9a0c738a8301dca7commit | diff
Build order fix

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 diff | blob | history
Barrelfish OS git repo