From: Roni Häcki <roni.haecki@inf.ethz.ch>
Date: Mon, 10 Apr 2017 13:07:01 +0000 (+0200)
Subject: platforms hakefile fixed trailing comma
X-Git-Tag: release2017-07-26~64^2~26
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=1dfac0d293f608bbfe0a1c78fd760af3bc5dd926

platforms hakefile fixed trailing comma

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
---

diff --git a/platforms/Hakefile b/platforms/Hakefile
index 8ea5392..9a77d9c 100644
--- a/platforms/Hakefile
+++ b/platforms/Hakefile
@@ -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