Merge branch 'caps_next'
[barrelfish] / platforms / Hakefile
index 15044c8..22e8457 100644 (file)
@@ -36,6 +36,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "nkmtest_map_unmap",
                         "nkmtest_modify_flags",
                         "schedtest",
+                        "test_retype",
                         "testerror",
                         "yield_test" ] ]