document why POSIXLY_CORRECT must be unset

From-SVN: r67977

diff --git a/gcc/opts.sh b/gcc/opts.sh
index dbff2f8cf313dbe074c96068c4607bb14dc49060..afa3221a8cca3893c10acf7c9990fed494d91de3 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} '