diff options
| author | Bruce Momjian <bruce@momjian.us> | 2005-06-04 18:20:43 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2005-06-04 18:20:43 +0000 |
| commit | fb91a83e0ebf11b99148d15891188333381f82b1 (patch) | |
| tree | c194ed2e11552981d312be0bb094b52078f7567d /src | |
| parent | 00750f3f30893eba7e330d195439ceef846f59a8 (diff) | |
| download | postgresql-fb91a83e0ebf11b99148d15891188333381f82b1.tar.gz postgresql-fb91a83e0ebf11b99148d15891188333381f82b1.zip | |
Back out make_mkid change.
Diffstat (limited to 'src')
| -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 13a848a7ee3..ac71bd92b5b 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 |