diff options
| -rw-r--r-- | gcc/opts.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/opts.sh b/gcc/opts.sh index dbff2f8..afa3221 100644 --- a/gcc/opts.sh +++ b/gcc/opts.sh @@ -33,7 +33,8 @@ SORT=sort # Could be /bin/sort or /usr/bin/sort C_FILE=$1; shift H_FILE=$1; shift -# Must unset this, so that the gawk extension RS="" works. +# Must unset, so that RS="" works in gawk 3.0-3.1.1 (possibly earlier too) +# Appears to be a gawk bug, RS="" is not an extension unset POSIXLY_CORRECT ${AWK} ' |