configure
changeset 5806 67ed054c6881
parent 5737 2518c9df3780
child 5809 cd61f8b74f7d
--- a/configure	Sun Jan 07 00:19:57 2007 +0000
+++ b/configure	Sun Jan 07 08:17:56 2007 +0000
@@ -62,7 +62,7 @@
 fi
 
 # Read the source.list and process it
-SRCS="`cat $ROOT_DIR/source.list | tr '\r' '\n' | awk '
+SRCS="`< $ROOT_DIR/source.list tr '\r' '\n' | awk '
 	{  }
 	/^(	*)#end/  { if (deep == skip) { skip -= 1; } deep -= 1; next; }
 	/^(	*)#else/ { if (deep == skip) { skip -= 1; } else if (deep - 1 == skip) { skip += 1; } next; }