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... |