Thomas's fix on Makefile + remove lines with tabs

diff --git a/Makefile b/Makefile
index 51f7cdb..f6298c4 100644 (file)
--- 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
 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
 
 ########## sync
 # for use with the test framework; push local stuff on a test node