diff options
-rwxr-xr-x | src/tools/pginclude/pgrminclude | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pginclude/pgrminclude b/src/tools/pginclude/pgrminclude index ba13c4a7a72..e0173fdc5f2 100755 --- a/src/tools/pginclude/pgrminclude +++ b/src/tools/pginclude/pgrminclude @@ -13,7 +13,7 @@ while read FILE do # Skip files with #if and #ifdef blocks because the blocks # might contain code that is not compiled on this platform. - grep -q '^if' "$FILE" && continue + grep -q '^#if' "$FILE" && continue if [ `expr $FILE : '.*\.h$'` -ne 0 ] then IS_INCLUDE="Y" |