Gentoo Archives: gentoo-commits

From: Thomas Deutschmann <whissi@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/genkernel:master commit in: /
Date: Mon, 29 Jul 2019 20:10:36
Message-Id: 1564430541.da27142c8819c05ed3bd75de1c4623d867e48f71.whissi@gentoo
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 ..."