From c07ccf4fca510a6a04b882967b1b1e0cc27461ff Mon Sep 17 00:00:00 2001
From: "Justin M. Forbes" <jforbes@fedoraproject.org>
Date: Mon, 10 Jun 2019 09:25:17 -0500
Subject: Linux v5.2-rc4

---
 configs/fedora/generic/CONFIG_IKHEADERS      | 1 +
 configs/fedora/generic/CONFIG_IKHEADERS_PROC | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 configs/fedora/generic/CONFIG_IKHEADERS
 delete mode 100644 configs/fedora/generic/CONFIG_IKHEADERS_PROC

(limited to 'configs')

diff --git a/configs/fedora/generic/CONFIG_IKHEADERS b/configs/fedora/generic/CONFIG_IKHEADERS
new file mode 100644
index 000000000..e96a93bd4
--- /dev/null
+++ b/configs/fedora/generic/CONFIG_IKHEADERS
@@ -0,0 +1 @@
+CONFIG_IKHEADERS=m
diff --git a/configs/fedora/generic/CONFIG_IKHEADERS_PROC b/configs/fedora/generic/CONFIG_IKHEADERS_PROC
deleted file mode 100644
index 0a8b92698..000000000
--- a/configs/fedora/generic/CONFIG_IKHEADERS_PROC
+++ /dev/null
@@ -1 +0,0 @@
-CONFIG_IKHEADERS_PROC=m
-- 
cgit