From 0ecf7d9da6e22c8fd806d0008bd0f21971dfd257 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?=
 <lucio@lucioillanes.de>
Date: Thu, 6 Feb 2020 17:45:35 +0100
Subject: subr/build_init.subr: ensure awk(1) in $PATH is GNU Awk.

---
 subr/build_init.subr | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'subr')

diff --git a/subr/build_init.subr b/subr/build_init.subr
index 3164398c..db5b822a 100644
--- a/subr/build_init.subr
+++ b/subr/build_init.subr
@@ -11,6 +11,9 @@ 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
+		ex_rtl_log_msg failexit "Error: awk(1) in \$PATH must be GNU Awk.";
+	fi;
 	if [ -z "${DEFAULT_BUILD_CPUS}" ]\
 	&& [ -e /proc/cpuinfo ]; then
 		DEFAULT_BUILD_CPUS=$(awk '/^processor/{cpus++} END{print cpus}' /proc/cpuinfo);
-- 
cgit v1.2.3