diff options
Diffstat (limited to 'src/tools/make_mkid')
| -rwxr-xr-x | src/tools/make_mkid | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/make_mkid b/src/tools/make_mkid index ac71bd92b5..6938d9b4fd 100755 --- a/src/tools/make_mkid +++ b/src/tools/make_mkid @@ -1,5 +1,7 @@ #!/bin/sh +# $PostgreSQL: pgsql/src/tools/make_mkid,v 1.11 2006/03/11 04:38:41 momjian Exp $ + mkid `find \`pwd\`/ \( -name _deadcode -a -prune \) -o \ -type f -name '*.[chyl]' -print|sed 's;//;/;g'` |