From 45ee8b95457fad10251d9ded6f2fd6d2aae1288b Mon Sep 17 00:00:00 2001 From: Paul Mackerras Date: Fri, 30 Jun 2000 04:56:15 +0000 Subject: [PATCH] comment out kinstall since it isn't needed now --- linux/Makefile.top | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/linux/Makefile.top b/linux/Makefile.top index 616eb98..fa34ce5 100644 --- a/linux/Makefile.top +++ b/linux/Makefile.top @@ -51,5 +51,5 @@ clean: dist-clean: clean rm -f Makefile `find . -name Makefile -print` -kernel: - cd linux; ./kinstall.sh +#kernel: +# cd linux; ./kinstall.sh -- 2.39.2