projects
/
maintainer-tools.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
github-apply.sh: add script to rebase, merge and close Github pull requests
[maintainer-tools.git]
/
update_kernel.sh
diff --git
a/update_kernel.sh
b/update_kernel.sh
index 198ca6b9b8813bd2685da34b82f7ad94d4e8647e..0cbdb1d28f0b9466d528ddaa2a7b8ec7aa95a117 100755
(executable)
--- a/
update_kernel.sh
+++ b/
update_kernel.sh
@@
-12,7
+12,7
@@
UPDATE=0
KERNEL=
PATCHVER=
-while [ $#
>
0 ]; do
+while [ $#
-gt
0 ]; do
case $1 in
-b|--build)
BUILD=1