From e3e49243aba5abb3998e9f77937e33230d7f7fd9 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 26 Aug 2013 13:40:22 +0200
Subject: [PATCH] Thomas's fix on Makefile + remove lines with tabs

---
 Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 51f7cdb..f6298c4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,10 @@
-all: vsh setns.so
-	
+all: vsh setns
+
 vsh: vsh.c
 	gcc vsh.c -o vsh
 
 setns: setns.c
 	python setup.py build
-	
 
 ########## sync
 # for use with the test framework; push local stuff on a test node
-- 
2.43.0