summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2000-06-14 22:33:06 +0000
committerBruce Momjian2000-06-14 22:33:06 +0000
commitd540a9a6bdbb1c14ba3ceaf74ab3a32d9aa95b97 (patch)
treefde2314691201e3839cf83afc519861d8c5df2e8
parent8e6697fcd9da32e42e206cc6012f18d3328d2f12 (diff)
Update include cleaning scripts.
-rw-r--r--src/tools/pginclude/README8
-rwxr-xr-xsrc/tools/pginclude/pgcompinclude (renamed from src/tools/pginclude/pginclude)0
2 files changed, 6 insertions, 2 deletions
diff --git a/src/tools/pginclude/README b/src/tools/pginclude/README
index 9ed3ebae97b..ea84a4bae3e 100644
--- a/src/tools/pginclude/README
+++ b/src/tools/pginclude/README
@@ -1,8 +1,12 @@
These utilities help clean up #include file usage:
pgfixinclude change #include's to <> or ""
-pgrminclude remove extra #include's
-pginclude [-v] report which #include files can not compile on their own
+
+pgrminclude [-v]
+ remove extra #include's
+
+pgcompinclude [-v]
+ report which #include files can not compile on their own
pgdefine create macro calls for all defines in the file (used by
the above routines)
diff --git a/src/tools/pginclude/pginclude b/src/tools/pginclude/pgcompinclude
index 4658d48b38b..4658d48b38b 100755
--- a/src/tools/pginclude/pginclude
+++ b/src/tools/pginclude/pgcompinclude