Merge tag 'drm-next-2022-10-14' of git://anongit.freedesktop.org/drm/drm

[linux.git] / Makefile

diff --git a/Makefile b/Makefile
index 85a63a1d29b37e31ca3059aff3def1b4ce9b6e60..cfbe6a7de640383dccfeb40365c171a89c0a2074 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1081,6 +1081,7 @@ include-y                 := scripts/Makefile.extrawarn
 include-$(CONFIG_DEBUG_INFO)   += scripts/Makefile.debug
 include-$(CONFIG_KASAN)                += scripts/Makefile.kasan
 include-$(CONFIG_KCSAN)                += scripts/Makefile.kcsan
+include-$(CONFIG_KMSAN)                += scripts/Makefile.kmsan
 include-$(CONFIG_UBSAN)                += scripts/Makefile.ubsan
 include-$(CONFIG_KCOV)         += scripts/Makefile.kcov
 include-$(CONFIG_RANDSTRUCT)   += scripts/Makefile.randstruct