diff --git a/toolchain/helpers.mk b/toolchain/helpers.mk index 72e7292353..0ed8fdccc6 100644 --- a/toolchain/helpers.mk +++ b/toolchain/helpers.mk @@ -147,7 +147,7 @@ check_gcc_version = \ if [ -z "$${expected_version}" ]; then \ exit 0 ; \ fi; \ - real_version=`$(1) --version | sed -r -e '1!d; s/^[^)]+\) ([^[:space:]]+).*/\1/;'` ; \ + real_version=`$(1) -dumpversion` ; \ if [[ ! "$${real_version}" =~ ^$${expected_version}\. ]] ; then \ printf "Incorrect selection of gcc version: expected %s.x, got %s\n" \ "$${expected_version}" "$${real_version}" ; \