patch-2.0.21 linux/scripts/Menuconfig

• Lines: 9
• Date: Mon Sep 16 13:07:00 1996
• Orig file: v2.0.20/linux/scripts/Menuconfig
• Orig date: Wed Jul 10 07:48:35 1996

diff -u --recursive --new-file v2.0.20/linux/scripts/Menuconfig linux/scripts/Menuconfig
@@ -546,7 +546,7 @@
 			printf("}\n") >>menu
 			return
 		} 
-		else if ($0 ~ /^#|$MAKE|mainmenu_name/) {
+		else if ($0 ~ /^#|\$MAKE|mainmenu_name/) {
 			printf("") >>menu
 		}
 		else if ($1 == "source") {