platforms hakefile fixed trailing comma
[barrelfish] / platforms / Hakefile
index 8ea5392..9a77d9c 100644 (file)
@@ -226,7 +226,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                            "vnode_map_test",
                            "webserver",
                            "xeon_phi",
-                           "xeon_phi_mgr",
+                           "xeon_phi_mgr"
                            ]] ++ modules_common
 
     -- the following are broken in the newidc system