comment out kinstall since it isn't needed now

diff --git a/linux/Makefile.top b/linux/Makefile.top
index 616eb981374aa5864d7bb22d6a59920889c2a307..fa34ce59fddd87e2185987b748a8fdf55c108584 100644 (file)
--- a/linux/Makefile.top
+++ b/linux/Makefile.top
@@ -51,5 +51,5 @@ clean:
 dist-clean:    clean
        rm -f Makefile `find . -name Makefile -print`
 
 dist-clean:    clean
        rm -f Makefile `find . -name Makefile -print`
 

-kernel:
-       cd linux; ./kinstall.sh
+#kernel:
+#      cd linux; ./kinstall.sh