From e3c58df90740f372a42750e1f67a3a83551a671d Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 19 Jan 2022 14:03:40 -0800
Subject: [PROPOSED] * Makefile (AWK): Warn re mawk 1.3.3 (thanks to Jonathan
 Ben Avraham)

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index d5202c2..a9a989e 100644
--- a/Makefile
+++ b/Makefile
@@ -399,9 +399,10 @@ ZFLAGS=
 ZIC_INSTALL=	$(ZIC) -d '$(DESTDIR)$(TZDIR)' $(LEAPSECONDS)
 
 # The name of a Posix-compliant 'awk' on your system.
-# It is better (though not essential) if 'awk' supports UTF-8;
-# unfortunately, mawk and busybox awk do not support UTF-8.
-# Solaris 10 /usr/bin/awk does not work; try AWK=gawk or AWK=nawk.
+# mawk 1.3.3 and Solaris 10 /usr/bin/awk do not work.
+# Also, it is better (though not essential) if 'awk' supports UTF-8,
+# and unfortunately mawk and busybox awk do not support UTF-8.
+# Try AWK=gawk or AWK=nawk if your awk has the abovementioned problems.
 AWK=		awk
 
 # The full path name of a Posix-compliant shell, preferably one that supports
-- 
2.32.0