From eac65b0b4e1fb7fa67e1b3d3008fbc308edc9b06 Mon Sep 17 00:00:00 2001 From: Benda Xu Date: Mon, 8 Jan 2018 16:31:47 +0900 Subject: scripts/bootstrap-prefix.sh: require GNU Awk 4. GNU Awk 3 does not switch on --non-decimal-data by default. --- scripts/bootstrap-prefix.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/bootstrap-prefix.sh b/scripts/bootstrap-prefix.sh index f64409e89e..f475083486 100755 --- a/scripts/bootstrap-prefix.sh +++ b/scripts/bootstrap-prefix.sh @@ -1190,7 +1190,7 @@ bootstrap_stage1() { [[ $(tar --version 2>&1) == *GNU* ]] || (bootstrap_tar) || return 1 [[ $(patch --version 2>&1) == *"patch 2."[6-9]*GNU* ]] || (bootstrap_patch) || return 1 [[ $(grep --version 2>&1) == *GNU* ]] || (bootstrap_grep) || return 1 - [[ $(awk --version < /dev/null 2>&1) == *GNU* ]] || bootstrap_gawk || return 1 + [[ $(awk --version < /dev/null 2>&1) == *GNU" Awk "[456789]* ]] || bootstrap_gawk || return 1 [[ $(LANG=C bash --version 2>&1) == "GNU bash, version 4."[23456789]* && ${CHOST} != *-aix* ]] \ || [[ -x ${ROOT}/tmp/usr/bin/bash ]] \ || (bootstrap_bash) || return 1 -- cgit v1.2.3