From 137e37cac241dfee41f3899d3b97eca4e62b8359 Mon Sep 17 00:00:00 2001
From: Marco Elver <elver@google.com>
Date: Mon, 7 Oct 2019 21:54:59 +0200
Subject: Change KCSAN info file to debugfs

---
 pkg/csource/generated.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkg/csource/generated.go')

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
-- 
cgit mrf-deployment