diff options
author | Bruce Momjian | 2005-06-04 18:20:43 +0000 |
---|---|---|
committer | Bruce Momjian | 2005-06-04 18:20:43 +0000 |
commit | ec18d354c2537383da1354cf61b9d2afc2b4ad5f (patch) | |
tree | 608a8ff1856df1db16bfd7fc0ff5227ca22c24ec | |
parent | 33e6536f0495c1c35abb3bdb77d3ef99d708dcd0 (diff) |
Back out make_mkid change.
-rwxr-xr-x | src/tools/make_mkid | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/tools/make_mkid b/src/tools/make_mkid index 13a848a7ee..ac71bd92b5 100755 --- a/src/tools/make_mkid +++ b/src/tools/make_mkid @@ -1,10 +1,9 @@ -: +#!/bin/sh mkid `find \`pwd\`/ \( -name _deadcode -a -prune \) -o \ -type f -name '*.[chyl]' -print|sed 's;//;/;g'` -find . \( -name 'CVS' -prune -o -name '_xlk' -prune \) -o -type d -print | -while read DIR +find . -name 'CVS' -prune -o -type d -print |while read DIR do [ "$DIR" != "." ] && ln -f -s `echo "$DIR" | sed 's;/[^/]*;/..;g'`/ID $DIR/ID done |