diff options
Diffstat (limited to 'makefiles/Makefile.tools')
-rw-r--r-- | makefiles/Makefile.tools | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefiles/Makefile.tools b/makefiles/Makefile.tools index 33d6add..3021890 100644 --- a/makefiles/Makefile.tools +++ b/makefiles/Makefile.tools @@ -402,7 +402,7 @@ endif # Detect if the toolchain ought to support sanitizers SANITIZE_OK=no ifeq ($(toolchain),gcc) - GCC_VERSION := $(shell $(CC) -dumpversion) + GCC_VERSION := $(shell $(CC) -dumpversion -dumpfullversion) GCC_MAJOR := $(word 1,$(subst ., ,$(GCC_VERSION))) ifeq ($(shell expr $(GCC_MAJOR) \>= 6),1) SANITIZE_OK=yes |