diff options
| author | Bruce Momjian <bruce@momjian.us> | 1999-07-15 20:32:30 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1999-07-15 20:32:30 +0000 |
| commit | 40a89e08b2d7bb592d940e56f696df4a6459e7a3 (patch) | |
| tree | 161f97bb8733ed8eca262b9478edebc07caa1e33 /src/tools/pginclude/pgfixinclude | |
| parent | fb38a5d8cfd05ae7890f6b319aa5983ccf12f21b (diff) | |
| download | postgresql-40a89e08b2d7bb592d940e56f696df4a6459e7a3.tar.gz | |
Cleanups.
Diffstat (limited to 'src/tools/pginclude/pgfixinclude')
| -rwxr-xr-x | src/tools/pginclude/pgfixinclude | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/tools/pginclude/pgfixinclude b/src/tools/pginclude/pgfixinclude new file mode 100755 index 0000000000..f48c96a536 --- /dev/null +++ b/src/tools/pginclude/pgfixinclude @@ -0,0 +1,18 @@ +: +trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a /tmp/$$b" 0 1 2 3 15 +find . \( -name CVS -a -prune \) -o -type f -print | +while read FILE +do + cat /tmp/$$a | grep "^#include" | + sed 's/^#include[ ]*[<"]\([^>"]*\).*$/\1/g' | + while read INCLUDE + do + if [ -s /usr/include/"$INCLUDE" ] + then cat "$FILE" | + sed 's/^#include[ ]*[<"]'"$INCLUDE"'[>"]$/#include <'"$INCLUDE"'>/g' >/tmp/$$ + else cat "$FILE" | + sed 's/^#include[ ]*[<"]'"$INCLUDE"'[>"]$/#include "'"$INCLUDE"'"/g' >/tmp/$$ + fi + cat /tmp/$$ > "$FILE" + done +done |