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: Wed, 02 Oct 2019 22:45:32
Message-Id: 1570019493.cea37f350778e214bed8891be8b178e24e4820d0.whissi@gentoo
1 commit: cea37f350778e214bed8891be8b178e24e4820d0
2 Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
3 AuthorDate: Wed Oct 2 12:31:33 2019 +0000
4 Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
5 CommitDate: Wed Oct 2 12:31:33 2019 +0000
6 URL: https://gitweb.gentoo.org/proj/genkernel.git/commit/?id=cea37f35
7
8 gen_determineargs.sh: determine_real_args(): Add --strip=<type> validation
9
10 Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>
11
12 gen_determineargs.sh | 8 ++++++++
13 1 file changed, 8 insertions(+)
14
15 diff --git a/gen_determineargs.sh b/gen_determineargs.sh
16 index 5b43160..fdef153 100755
17 --- a/gen_determineargs.sh
18 +++ b/gen_determineargs.sh
19 @@ -698,6 +698,14 @@ determine_real_args() {
20
21 if isTrue "${BUILD_KERNEL}"
22 then
23 + case "${CMD_STRIP_TYPE}" in
24 + all|kernel|modules|none)
25 + ;;
26 + *)
27 + gen_die "Invalid strip type '${CMD_STRIP_TYPE}'; --strip=<type> requires one of: all, kernel, modules, none"
28 + ;;
29 + esac
30 +
31 if isTrue "$(has_space_characters "${KERNEL_OUTPUTDIR}")"
32 then
33 # Kernel Makefile doesn't support spaces in outputdir path...