From da6d2dd781f043be3f37f14858f5cd006c700573 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Tue, 27 Apr 2021 14:44:49 +0200
Subject: [PATCH] Bug 548: Add support for mawk in autogen.sh

---
 autogen.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/autogen.sh b/autogen.sh
index 02301d938..28e324ea1 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -59,7 +59,8 @@ error_and_exit()
 
 check_awk()
 {
-    (awk --version) < /dev/null > /dev/null 2>&1 || {
+    (awk --version) < /dev/null > /dev/null 2>&1 ||
+    (awk -W version) < /dev/null > /dev/null 2>&1 || {
 	echo
 	echo "You must have awk installed to compile $PROJECT with --adms."
 	exit 1