diff options
Diffstat (limited to '')
| -rwxr-xr-x | scripts/boot.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/boot.sh b/scripts/boot.sh index 26064f9..99fd103 100755 --- a/scripts/boot.sh +++ b/scripts/boot.sh | |||
| @@ -95,6 +95,11 @@ echo " gui: $([ -n "$GUI" ] && echo yes || echo no)" | |||
| 95 | echo " gdb: $([ -n "$DEBUG" ] && echo ':1234' || echo off)" | 95 | echo " gdb: $([ -n "$DEBUG" ] && echo ':1234' || echo off)" |
| 96 | echo "" | 96 | echo "" |
| 97 | 97 | ||
| 98 | if [ ! -f "$DISK_IMG" ]; then | ||
| 99 | echo " (creating missing disk image: $DISK_IMG)" | ||
| 100 | "$SCRIPT_DIR/mkdisk.sh" "$DISK_IMG" | ||
| 101 | fi | ||
| 102 | |||
| 98 | if [ -f "$DISK_IMG" ]; then | 103 | if [ -f "$DISK_IMG" ]; then |
| 99 | DISK_ARGS=( | 104 | DISK_ARGS=( |
| 100 | -drive "file=$DISK_IMG,format=raw,if=none,id=disk" | 105 | -drive "file=$DISK_IMG,format=raw,if=none,id=disk" |
