From b8d594fee012d6bf2905c3bce4b595c64c83b898 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de>
Date: Feb 08 2020 19:29:49 +0000
Subject: subr/build_init.subr: ensure awk(1) in $PATH is GNU Awk.


---

diff --git a/subr/build_init.subr b/subr/build_init.subr
index db5b822..ec90052 100644
--- a/subr/build_init.subr
+++ b/subr/build_init.subr
@@ -11,7 +11,7 @@ build_fini() {
 build_init() {
 	local __="" _env_vars="" _env_vars_except="" _env_var="" _log_last_fname="" _log_last_ts="" _vname="" _vname_val="";
 	set -o noglob; umask 022;
-	if ! awk -V | grep -q "^GNU Awk "; then
+	if ! awk -V 2>/dev/null | grep -q "^GNU Awk "; then
 		ex_rtl_log_msg failexit "Error: awk(1) in \$PATH must be GNU Awk.";
 	fi;
 	if [ -z "${DEFAULT_BUILD_CPUS}" ]\