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; }