File tree Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change 11#! /bin/bash
22set -e
33
4+ NO_REBOOT=0
45SKIP_MRPROPER=0
56SKIP_KABI=0
67
@@ -9,6 +10,7 @@ cat <<EOF
910Usage: $0 [OPTIONS]
1011
1112Options:
13+ -n, --no-reboot Don't reboot after kernel install
1214 -m, --skip-mrproper Skip 'make mrproper'
1315 -k, --skip-kabi Skip kABI check
1416 -h, --help Show this help message
1820# Parse arguments
1921while [ " $# " -gt 0 ]; do
2022 case " $1 " in
23+ -n|--no-reboot) NO_REBOOT=1 ;;
2124 -m|--skip-mrproper) SKIP_MRPROPER=1 ;;
2225 -k|--skip-kabi) SKIP_KABI=1 ;;
2326 -h|--help) print_help; exit 0 ;;
@@ -176,7 +179,9 @@ echo "[TIMER]{MODULES}: $(( $END_MODULES - $START_MODULES ))s"
176179echo " [TIMER]{INSTALL}: $(( $END_INSTALL - $START_INSTALL )) s"
177180echo " [TIMER]{TOTAL} ${DIFF} s"
178181
179- echo " Rebooting in 10 seconds"
180- sleep 10
181- sudo reboot
182+ if [ " $NO_REBOOT " -ne 1 ]; then
183+ echo " Rebooting in 10 seconds"
184+ sleep 10
185+ sudo reboot
186+ fi
182187
You can’t perform that action at this time.
0 commit comments