diff options
| author | Bruce Momjian | 2000-06-14 22:33:06 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2000-06-14 22:33:06 +0000 |
| commit | ff5c83fe5ecaed49f16d261897f9fc9c8b9d38ce (patch) | |
| tree | 56673d7d617c239ea40592aadc0bbfbf31c55380 | |
| parent | 9ee354a97266d37de6dad8fecd3d2baeca0e792b (diff) | |
Update include cleaning scripts.
| -rw-r--r-- | src/tools/pginclude/README | 8 | ||||
| -rwxr-xr-x | src/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 9ed3ebae97..ea84a4bae3 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 4658d48b38..4658d48b38 100755 --- a/src/tools/pginclude/pginclude +++ b/src/tools/pginclude/pgcompinclude |