|
@@ -145,8 +145,7 @@ check_kernel_headers_version = \
|
|
check_gcc_version = \
|
|
check_gcc_version = \
|
|
expected_version="$(strip $2)" ; \
|
|
expected_version="$(strip $2)" ; \
|
|
if [ -z "$${expected_version}" ]; then \
|
|
if [ -z "$${expected_version}" ]; then \
|
|
- printf "Internal error, gcc version unknown (no GCC_AT_LEAST_X_Y selected)\n"; \
|
|
|
|
- exit 1 ; \
|
|
|
|
|
|
+ exit 0 ; \
|
|
fi; \
|
|
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 \
|