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
treef392dafdbee4ccd9ec7370014dccd012ab3c2542
parent857c66dd207127ec3cc9fc0c9a0c738a8301dca7
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