From c9d0f210bc3aa4cc7978550cea9524206d155c0c Mon Sep 17 00:00:00 2001
From: Tim Dierks <tim@dierks.org>
Date: Thu, 30 Nov 2017 21:18:32 -0500
Subject: [PATCH] Change awk detector to work with mawk; fixes #2073

---
 message.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/message.mk b/message.mk
index 7c832b29271..f5fb751ed8d 100644
--- a/message.mk
+++ b/message.mk
@@ -9,7 +9,7 @@ ifeq ($(COLOR),true)
 	BOLD=\033[1m
 endif
 
-ifneq ($(shell awk --version 2>/dev/null),)
+ifneq ($(shell echo "1 2 3" | awk '{ printf "%2s", $$3; }' 2>/dev/null)," 3")
 	AWK=awk
 else
 	AWK=cat && test