From b8d594fee012d6bf2905c3bce4b595c64c83b898 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Sat, 8 Feb 2020 19:29:49 +0000 Subject: subr/build_init.subr: ensure awk(1) in $PATH is GNU Awk. --- subr/build_init.subr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subr') diff --git a/subr/build_init.subr b/subr/build_init.subr index db5b822a..ec90052b 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}" ]\ -- cgit v1.2.3