document why POSIXLY_CORRECT must be unset

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@67977 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/opts.sh b/gcc/opts.sh
index dbff2f8..afa3221 100644 (file)
--- 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} '