summaryrefslogtreecommitdiff
path: root/src/tools/pginclude
diff options
context:
space:
mode:
authorBruce Momjian2011-08-27 01:52:35 +0000
committerBruce Momjian2011-08-27 01:52:35 +0000
commit68c019a5383bae89794b8a37001a7b8801e9a19b (patch)
treea00d24128a75e585790d35e8a529ab232a941fdf /src/tools/pginclude
parente7088713cd2bb6ce2ce630d07feb45b011308932 (diff)
Add another pgdefine path check, and a cvs-git change.
Diffstat (limited to 'src/tools/pginclude')
-rwxr-xr-xsrc/tools/pginclude/pgcompinclude5
-rwxr-xr-xsrc/tools/pginclude/pgrminclude2
2 files changed, 5 insertions, 2 deletions
diff --git a/src/tools/pginclude/pgcompinclude b/src/tools/pginclude/pgcompinclude
index e2505e685a..fdbf58e16a 100755
--- a/src/tools/pginclude/pgcompinclude
+++ b/src/tools/pginclude/pgcompinclude
@@ -3,6 +3,11 @@
# takes -v option to display compile failure message and line numbers
# src/tools/pginclude/pgcompinclude
+if ! pgdefine
+then echo "pgdefine must be in your PATH" 1>&2
+ exit 1
+fi
+
trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a" 0 1 2 3 15
find . \( -name .git -a -prune \) -o -name '*.h' -type f -print | while read FILE
do
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude
index aef57060c0..64d7ef7199 100755
--- a/src/tools/pginclude/pgrminclude
+++ b/src/tools/pginclude/pgrminclude
@@ -6,8 +6,6 @@ then echo "pgdefine must be in your PATH" 1>&2
exit 1
fi
-# src/tools/pginclude/pgrminclude
-
trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a /tmp/$$b" 0 1 2 3 15
# do include files first
(find . \( -name .git -a -prune \) -o -type f -name '*.h' -print;