diff options
author | Bruce Momjian <bruce@momjian.us> | 2002-01-20 05:12:57 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 2002-01-20 05:12:57 +0000 |
commit | 1a712718ca553faee79de288dc52c8c812d3ccbf (patch) | |
tree | 1aaa50c3ca8f8cf263bf84c2d385e593f027daf8 /src | |
parent | e0764fdf285e9f2dca218eba5933d975548f5f58 (diff) | |
download | postgresql-1a712718ca553faee79de288dc52c8c812d3ccbf.tar.gz postgresql-1a712718ca553faee79de288dc52c8c812d3ccbf.zip |
Add IN/EXISTS file.
Diffstat (limited to 'src')
-rwxr-xr-x | src/tools/make_mkid | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/make_mkid b/src/tools/make_mkid index 1565b9c8066..bad5a4d04a6 100755 --- a/src/tools/make_mkid +++ b/src/tools/make_mkid @@ -1,5 +1,4 @@ #!/bin/sh -#set -x mkid `find \`pwd\`/ \( -name _deadcode -a -prune \) -o \ -type f -name '*.[chyl]' -print|sed 's;//;/;g'` |