diff options
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 00000000000..f48c96a536b --- /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 |