aboutsummaryrefslogtreecommitdiffstats
path: root/pkg/csource
diff options
context:
space:
mode:
authorMarco Elver <elver@google.com>2019-10-07 21:54:59 +0200
committerMarco Elver <marco.elver@gmail.com>2019-10-08 15:04:54 +0200
commit137e37cac241dfee41f3899d3b97eca4e62b8359 (patch)
tree0e72d1f4e08fb7bad51fc8e50e87fde559e6aefb /pkg/csource
parent64612bfd3c83d7246467cd9731f01a36b6331598 (diff)
Change KCSAN info file to debugfs
Diffstat (limited to 'pkg/csource')
-rw-r--r--pkg/csource/generated.go2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go
index c216e0973..47bbfdfa6 100644
--- a/pkg/csource/generated.go
+++ b/pkg/csource/generated.go
@@ -5196,7 +5196,7 @@ static void setup_binfmt_misc()
#if SYZ_EXECUTOR || SYZ_ENABLE_KCSAN
static void setup_kcsan()
{
- if (!write_file("/proc/kcsaninfo", "on"))
+ if (!write_file("/sys/kernel/debug/kcsan", "on"))
fail("failed to enable KCSAN");
}
#endif