From 705de64c0b5ee121a2ca81d802e7d63369eef137 Mon Sep 17 00:00:00 2001
From: Nathan Sidwell <nathan@gcc.gnu.org>
Date: Sun, 15 Jun 2003 15:08:10 +0000
Subject: [PATCH] document why POSIXLY_CORRECT must be unset

From-SVN: r67977
---
 gcc/opts.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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