1 |
commit: a018edd880c62631f92707fc03ea3680b569cd7b |
2 |
Author: Christoph Junghans <junghans <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed Jul 4 15:54:34 2018 +0000 |
4 |
Commit: Robin H. Johnson <robbat2 <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Feb 19 07:35:29 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/genkernel.git/commit/?id=a018edd8 |
7 |
|
8 |
allow KERNEL_BINARY_OVERRIDE from genkernel.conf |
9 |
|
10 |
As it is empty don't set KERNEL_BINARY_OVERRIDE in defaults/config.sh |
11 |
|
12 |
Signed-off-by: Robin H. Johnson <robbat2 <AT> gentoo.org> |
13 |
|
14 |
defaults/config.sh | 1 - |
15 |
1 file changed, 1 deletion(-) |
16 |
|
17 |
diff --git a/defaults/config.sh b/defaults/config.sh |
18 |
index 3be9e4d..72487b8 100755 |
19 |
--- a/defaults/config.sh |
20 |
+++ b/defaults/config.sh |
21 |
@@ -11,7 +11,6 @@ DEFAULT_KERNEL_MAKE_DIRECTIVE_OVERRIDE="--INVALID--" |
22 |
KERNEL_MAKE_DIRECTIVE_OVERRIDE="${KERNEL_MAKE_DIRECTIVE_OVERRIDE:-${DEFAULT_KERNEL_MAKE_DIRECTIVE_OVERRIDE}}" |
23 |
KERNEL_MAKE_DIRECTIVE_2="" |
24 |
KERNEL_BINARY="--INVALID--" |
25 |
-KERNEL_BINARY_OVERRIDE="" |
26 |
|
27 |
# At a bare minimum, every arch MUST override these two options: |
28 |
# KERNEL_MAKE_DIRECTIVE |