diff --git a/resources/BuildResources/config b/resources/BuildResources/config index e1b6b2a..ade113d 100644 --- a/resources/BuildResources/config +++ b/resources/BuildResources/config @@ -4,10 +4,10 @@ # # -# Compiler: arm-none-eabi-gcc (15:5.4.1+svn241155-1) 5.4.1 20160919 +# Compiler: arm-none-eabi-gcc (15:7-2018-q2-6) 7.3.1 20180622 (release) [ARM/embedded-7-branch revision 261907] # CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=50401 +CONFIG_GCC_VERSION=70301 CONFIG_CLANG_VERSION=0 CONFIG_CC_HAS_ASM_GOTO=y CONFIG_CC_HAS_WARN_MAYBE_UNINITIALIZED=y @@ -5657,6 +5657,8 @@ CONFIG_KASAN_STACK=1 # end of Memory Debugging CONFIG_ARCH_HAS_KCOV=y +CONFIG_CC_HAS_SANCOV_TRACE_PC=y +# CONFIG_KCOV is not set # CONFIG_DEBUG_SHIRQ is not set #