linux/scripts/Makefile.kcsan

# SPDX-License-Identifier: GPL-2.0
ifdef CONFIG_KCSAN

CFLAGS_KCSAN := -fsanitize=thread

endif # CONFIG_KCSAN
kcsan: Add Kernel Concurrency Sanitizer infrastructure Kernel Concurrency Sanitizer (KCSAN) is a dynamic data-race detector for kernel space. KCSAN is a sampling watchpoint-based data-race detector. See the included Documentation/dev-tools/kcsan.rst for more details. This patch adds basic infrastructure, but does not yet enable KCSAN for any architecture. Signed-off-by: Marco Elver <elver@google.com> Acked-by: Paul E. McKenney <paulmck@kernel.org> Signed-off-by: Paul E. McKenney <paulmck@kernel.org> 2019-11-14 19:02:54 +01:00			`# SPDX-License-Identifier: GPL-2.0`
			`ifdef CONFIG_KCSAN`

			`CFLAGS_KCSAN := -fsanitize=thread`

			`endif # CONFIG_KCSAN`