1 |
commit: da27142c8819c05ed3bd75de1c4623d867e48f71 |
2 |
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Jul 29 13:54:38 2019 +0000 |
4 |
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Jul 29 20:02:21 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/genkernel.git/commit/?id=da27142c |
7 |
|
8 |
gen_determineargs.sh: determine_real_args(): Don't allow KERNEL_OUTPUTDIR with spaces |
9 |
|
10 |
Kernel Makefile just don't support that. |
11 |
|
12 |
Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org> |
13 |
|
14 |
gen_determineargs.sh | 6 ++++++ |
15 |
1 file changed, 6 insertions(+) |
16 |
|
17 |
diff --git a/gen_determineargs.sh b/gen_determineargs.sh |
18 |
index 9170080..8044a97 100755 |
19 |
--- a/gen_determineargs.sh |
20 |
+++ b/gen_determineargs.sh |
21 |
@@ -680,6 +680,12 @@ determine_real_args() { |
22 |
|
23 |
if isTrue "${BUILD_KERNEL}" |
24 |
then |
25 |
+ if isTrue "$(has_space_characters "${KERNEL_OUTPUTDIR}")" |
26 |
+ then |
27 |
+ # Kernel Makefile doesn't support spaces in outputdir path... |
28 |
+ gen_die "--kernel-outputdir '${KERNEL_OUTPUTDIR}' contains space character(s) which are not supported!" |
29 |
+ fi |
30 |
+ |
31 |
if [ "${KERNEL_DIR}" != "${KERNEL_OUTPUTDIR}" -a ! -d "${KERNEL_OUTPUTDIR}" ] |
32 |
then |
33 |
print_warning 3 "Set --kernel-outputdir '${KERNEL_OUTPUTDIR}' does not exist; Will try to create ..." |