summaryrefslogtreecommitdiff
path: root/src/tools/pginclude
diff options
context:
space:
mode:
authorBruce Momjian1999-07-15 22:40:16 +0000
committerBruce Momjian1999-07-15 22:40:16 +0000
commit2e6b1e63a3f4990594af94afe1b3cef90ae752b5 (patch)
treebb72a1ec4e38514c726a73b1344971307c2db01e /src/tools/pginclude
parent40a89e08b2d7bb592d940e56f696df4a6459e7a3 (diff)
Remove unused #includes in *.c files.
Diffstat (limited to 'src/tools/pginclude')
-rwxr-xr-xsrc/tools/pginclude/pgfixinclude6
-rwxr-xr-xsrc/tools/pginclude/pgnoinclude8
2 files changed, 10 insertions, 4 deletions
diff --git a/src/tools/pginclude/pgfixinclude b/src/tools/pginclude/pgfixinclude
index f48c96a536b..b3ebb2df426 100755
--- a/src/tools/pginclude/pgfixinclude
+++ b/src/tools/pginclude/pgfixinclude
@@ -3,15 +3,15 @@ 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" |
+ 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/$$
+ sed 's;^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]$;#include <'"$INCLUDE"'>;g' >/tmp/$$
else cat "$FILE" |
- sed 's/^#include[ ]*[<"]'"$INCLUDE"'[>"]$/#include "'"$INCLUDE"'"/g' >/tmp/$$
+ sed 's;^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]$;#include "'"$INCLUDE"'";g' >/tmp/$$
fi
cat /tmp/$$ > "$FILE"
done
diff --git a/src/tools/pginclude/pgnoinclude b/src/tools/pginclude/pgnoinclude
index 5fbf553a11e..35f191fa6a2 100755
--- a/src/tools/pginclude/pgnoinclude
+++ b/src/tools/pginclude/pgnoinclude
@@ -36,8 +36,14 @@ do
if [ "$?" -eq 0 ]
then echo "$FILE $INCLUDE"
if [ "$IS_INCLUDE" = "N" ]
- then grep -v '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' $FILE >/tmp/$$b
+ then grep -v '^#include[ ][ ]*[<"]'"$INCLUDE"'[>"]' "$FILE" >/tmp/$$b
mv /tmp/$$b "$FILE"
+ # reload after #include removal
+ if [ "$IS_INCLUDE" = "Y" ]
+ then cat "$FILE" | grep -v "^#if" | grep -v "^#else" |
+ grep -v "^#endif" | sed 's/->[a-zA-Z0-9_\.]*//g' >/tmp/$$a
+ else cat "$FILE" >/tmp/$$a
+ fi
fi
if [ "$1" = "-v" ]
then cat /tmp/$$