configure
changeset 5555 f1c050be9cf8
parent 5486 ae4bc84abf24
child 5558 4bceae3ff866
--- 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; }