diff options
Diffstat (limited to 'makefiles')
| -rw-r--r-- | makefiles/toolchain_gnu-arm-eabi.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/makefiles/toolchain_gnu-arm-eabi.mk b/makefiles/toolchain_gnu-arm-eabi.mk index d4689c63e..808b635bb 100644 --- a/makefiles/toolchain_gnu-arm-eabi.mk +++ b/makefiles/toolchain_gnu-arm-eabi.mk @@ -50,11 +50,11 @@ OBJDUMP = $(CROSSDEV)objdump # Check if the right version of the toolchain is available # -CROSSDEV_VER_SUPPORTED = 4.7.4 +CROSSDEV_VER_SUPPORTED = 4.7 CROSSDEV_VER_FOUND = $(shell $(CC) -dumpversion) -ifneq ($(CROSSDEV_VER_SUPPORTED),$(CROSSDEV_VER_FOUND)) -$(error Unsupported version of $(CC), found: $(CROSSDEV_VER_FOUND) instead of $(CROSSDEV_VER_SUPPORTED)) +ifeq (,$(findstring $(CROSSDEV_VER_SUPPORTED),$(CROSSDEV_VER_FOUND))) +$(error Unsupported version of $(CC), found: $(CROSSDEV_VER_FOUND) instead of $(CROSSDEV_VER_SUPPORTED).x) endif |