|
@@ -193,6 +193,10 @@ check_kernel_headers_version = \
|
|
#
|
|
#
|
|
check_gcc_version = \
|
|
check_gcc_version = \
|
|
expected_version="$(strip $2)" ; \
|
|
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/;'` ; \
|
|
real_version=`$(1) --version | sed -r -e '1!d; s/^[^)]+\) ([^[:space:]]+).*/\1/;'` ; \
|
|
if [[ ! "$${real_version}" =~ ^$${expected_version}\. ]] ; then \
|
|
if [[ ! "$${real_version}" =~ ^$${expected_version}\. ]] ; then \
|
|
printf "Incorrect selection of gcc version: expected %s.x, got %s\n" \
|
|
printf "Incorrect selection of gcc version: expected %s.x, got %s\n" \
|