diff options
| -rw-r--r-- | 4567_distro-Gentoo-Kconfig.patch | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/4567_distro-Gentoo-Kconfig.patch b/4567_distro-Gentoo-Kconfig.patch index 6ac82089..ecff093a 100644 --- a/4567_distro-Gentoo-Kconfig.patch +++ b/4567_distro-Gentoo-Kconfig.patch @@ -6,9 +6,9 @@ source "Documentation/Kconfig" + +source "distro/Kconfig" ---- /dev/null 2018-12-28 10:40:34.089999934 -0500 -+++ b/distro/Kconfig 2018-12-28 18:54:40.467970759 -0500 -@@ -0,0 +1,147 @@ +--- /dev/null 2019-09-18 03:31:42.730171526 -0400 ++++ b/distro/Kconfig 2019-09-18 13:28:03.170769896 -0400 +@@ -0,0 +1,149 @@ +menu "Gentoo Linux" + +config GENTOO_LINUX @@ -91,6 +91,7 @@ + depends on GENTOO_LINUX + + select BINFMT_SCRIPT ++ select FILE_LOCKING + + help + The init system is the first thing that loads after the kernel booted. @@ -123,6 +124,7 @@ + select EPOLL + select FANOTIFY + select FHANDLE ++ select FILE_LOCKING + select INOTIFY_USER + select IPV6 + select NET |