diff options
Diffstat (limited to '')
| -rwxr-xr-x | src/tools/pginclude/pgfixinclude | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/tools/pginclude/pgfixinclude b/src/tools/pginclude/pgfixinclude new file mode 100755 index 0000000..6721566 --- /dev/null +++ b/src/tools/pginclude/pgfixinclude @@ -0,0 +1,21 @@ +: +# change #include's to <> or "" +# src/tools/pginclude/pgfixinclude + +trap "rm -f /tmp/$$.c /tmp/$$.o /tmp/$$ /tmp/$$a /tmp/$$b" 0 1 2 3 15 +find . \( -name .git -a -prune \) -o -type f -name '*.[chyls]' -print | +while read FILE +do + cat "$FILE" | 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 |