From 1dfac0d293f608bbfe0a1c78fd760af3bc5dd926 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Roni=20H=C3=A4cki?= <roni.haecki@inf.ethz.ch>
Date: Mon, 10 Apr 2017 15:07:01 +0200
Subject: [PATCH] platforms hakefile fixed trailing comma
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
---
 platforms/Hakefile |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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
-- 
1.7.2.5