check for make-4.x before starting build process and exit with error

2020-04-23 00:17:19 +02:00
parent 93214736e2
commit d760de6a74
1 changed files with 2 additions and 1 deletions
@@ -25,7 +25,8 @@ check_dependencies() {
 check_dependencies realpath rsync xsltproc xmllint sed find egrep grep wc make tee date iconv wget

 if ! make --version | grep -q "GNU Make 4"; then
-  die "The build script requires GNU Make 4.x"
+  echo "The build script requires GNU Make 4.x"
+  exit 1
 fi

 basedir="${0%/*}/.."