summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2005-06-04 18:20:43 +0000
committerBruce Momjian2005-06-04 18:20:43 +0000
commitec18d354c2537383da1354cf61b9d2afc2b4ad5f (patch)
tree608a8ff1856df1db16bfd7fc0ff5227ca22c24ec
parent33e6536f0495c1c35abb3bdb77d3ef99d708dcd0 (diff)
Back out make_mkid change.
-rwxr-xr-xsrc/tools/make_mkid5
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