diff options
| -rw-r--r-- | toolchain/helpers.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/toolchain/helpers.mk b/toolchain/helpers.mk index 7c70d35a3a..85a9407642 100644 --- a/toolchain/helpers.mk +++ b/toolchain/helpers.mk @@ -193,6 +193,10 @@ check_kernel_headers_version = \ # check_gcc_version = \ expected_version="$(strip $2)" ; \ + if [ -z "$${expected_version}" ]; then \ + printf "Internal error, gcc version unknown (no GCC_AT_LEAST_X_Y selected)\n"; \ + exit 1 ; \ + fi; \ real_version=`$(1) --version | sed -r -e '1!d; s/^[^)]+\) ([^[:space:]]+).*/\1/;'` ; \ if [[ ! "$${real_version}" =~ ^$${expected_version}\. ]] ; then \ printf "Incorrect selection of gcc version: expected %s.x, got %s\n" \ |
