diff --git a/Makefile.in b/Makefile.in index 41fe4c54..7f36894d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -35,6 +35,7 @@ WITH_ABI ?= @WITH_ABI@ WITH_TUNE ?= @WITH_TUNE@ WITH_ISA_SPEC ?= @WITH_ISA_SPEC@ SYSROOT := $(INSTALL_DIR)/sysroot +ENABLE_LIBSANITIZER ?= @enable_libsanitizer@ SHELL := /bin/sh AWK := @GAWK@ @@ -410,9 +411,6 @@ stamps/build-gcc-linux-stage2: $(GCC_SRCDIR) $(GCC_SRC_GIT) $(addprefix stamps/b stamps/build-glibc-linux-headers rm -rf $@ $(notdir $@) mkdir $(notdir $@) - # libsanitizer not supported rv32, - # but it will break the rv64 multi-lib build, so we disable that - # temporally untill rv32 supported. cd $(notdir $@) && $