diff options
Diffstat (limited to 'scripts/boot-image.sh')
| -rwxr-xr-x | scripts/boot-image.sh | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/scripts/boot-image.sh b/scripts/boot-image.sh index 913e5cb..e8c093c 100755 --- a/scripts/boot-image.sh +++ b/scripts/boot-image.sh | |||
| @@ -34,29 +34,8 @@ GUI="" | |||
| 34 | DEBUG="" | 34 | DEBUG="" |
| 35 | 35 | ||
| 36 | # ---- args ---- | 36 | # ---- args ---- |
| 37 | while [ $# -gt 0 ]; do | 37 | source "$SCRIPT_DIR/lib-boot-args.sh" |
| 38 | case "$1" in | 38 | parse_boot_args "$@" |
| 39 | --gui | -g) GUI="-vga std" ;; | ||
| 40 | --debug | -d) DEBUG="-s -S" ;; | ||
| 41 | --mem) | ||
| 42 | shift | ||
| 43 | MEM="$1" | ||
| 44 | ;; | ||
| 45 | --smp) | ||
| 46 | shift | ||
| 47 | SMP="$1" | ||
| 48 | ;; | ||
| 49 | --help | -h) | ||
| 50 | head -20 "$0" | grep "^#" | sed 's/^# //' | ||
| 51 | exit 0 | ||
| 52 | ;; | ||
| 53 | *) | ||
| 54 | echo "unknown: $1" | ||
| 55 | exit 1 | ||
| 56 | ;; | ||
| 57 | esac | ||
| 58 | shift | ||
| 59 | done | ||
| 60 | 39 | ||
| 61 | # ---- build image if missing ---- | 40 | # ---- build image if missing ---- |
| 62 | if [ ! -f "$IMAGE" ]; then | 41 | if [ ! -f "$IMAGE" ]; then |
