diff options
| author | Bruce Momjian | 2011-08-27 01:52:35 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2011-08-27 01:52:35 +0000 |
| commit | 68c019a5383bae89794b8a37001a7b8801e9a19b (patch) | |
| tree | a00d24128a75e585790d35e8a529ab232a941fdf /src/tools/pginclude | |
| parent | e7088713cd2bb6ce2ce630d07feb45b011308932 (diff) | |
Add another pgdefine path check, and a cvs-git change.
Diffstat (limited to 'src/tools/pginclude')
| -rwxr-xr-x | src/tools/pginclude/pgcompinclude | 5 | ||||
| -rwxr-xr-x | src/tools/pginclude/pgrminclude | 2 |
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; |
