diff scripts/make.sh @ 664:c60ac785784f

Add switch_root and fix infrastructure to understand name "switch_root".
author Rob Landley <rob@landley.net>
date Sat, 08 Sep 2012 01:27:54 -0500
parents 04feab07416c
children 7e846e281e38
line wrap: on
line diff
--- a/scripts/make.sh	Thu Sep 06 19:49:40 2012 -0500
+++ b/scripts/make.sh	Sat Sep 08 01:27:54 2012 -0500
@@ -124,7 +124,7 @@
 # 5) Remove any config symbol not recognized as a filename from step 1.
 # 6) Add "toys/*/" prefix and ".c" suffix.
 
-TOYFILES=$(sed -nre 's/^CONFIG_(.*)=y/\1/;t skip;b;:skip;s/_.*//;p' < .config \
+TOYFILES=$(sed -nre 's/^CONFIG_(.*)=y/\1/p' < .config \
   | sort -u | tr A-Z a-z | grep -E "$TOYFILES" | sed 's@\(.*\)@toys/\*/\1.c@')
 
 echo "Library probe..."