diff options
Diffstat (limited to 'src/tools/pginclude/pgfixinclude')
| -rwxr-xr-x | src/tools/pginclude/pgfixinclude | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/tools/pginclude/pgfixinclude b/src/tools/pginclude/pgfixinclude deleted file mode 100755 index 6721566495c..00000000000 --- a/src/tools/pginclude/pgfixinclude +++ /dev/null @@ -1,21 +0,0 @@ -: -# 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 |