Change awk detector to work with mawk; fixes #2073

diff --git a/message.mk b/message.mk
index 7c832b29271391a7b6393fee630f8d88f8be0ab4..f5fb751ed8dd9fc53149ac2243d0b4b20caee86f 100644 (file)
--- 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