diff options
author | 2020-09-24 11:34:05 -0400 | |
---|---|---|
committer | 2020-09-24 11:34:05 -0400 | |
commit | bc69ddc24357b9e2aa4d168bbdc75093903f3688 (patch) | |
tree | 464cc415fab792f2fb6e8663bad5b061f008d919 | |
parent | Fix formatting (diff) | |
download | linux-patches-bc69ddc24357b9e2aa4d168bbdc75093903f3688.tar.gz linux-patches-bc69ddc24357b9e2aa4d168bbdc75093903f3688.tar.bz2 linux-patches-bc69ddc24357b9e2aa4d168bbdc75093903f3688.zip |
Add missing endmenu
Signed-off-by: Mike Pagano <mpagano@gentoo.org>
-rw-r--r-- | 4567_distro-Gentoo-Kconfig.patch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/4567_distro-Gentoo-Kconfig.patch b/4567_distro-Gentoo-Kconfig.patch index 3e099692..e754a3e6 100644 --- a/4567_distro-Gentoo-Kconfig.patch +++ b/4567_distro-Gentoo-Kconfig.patch @@ -7,8 +7,8 @@ + +source "distro/Kconfig" --- /dev/null 2020-09-24 03:06:47.590000000 -0400 -+++ b/distro/Kconfig 2020-09-24 11:09:36.442549224 -0400 -@@ -0,0 +1,157 @@ ++++ b/distro/Kconfig 2020-09-24 11:31:29.403150624 -0400 +@@ -0,0 +1,158 @@ +menu "Gentoo Linux" + +config GENTOO_LINUX @@ -166,3 +166,4 @@ + +endmenu + ++endmenu |