diff options
| -rwxr-xr-x | scripts/runqemu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/runqemu b/scripts/runqemu index da35bb80d2..3d753191cd 100755 --- a/scripts/runqemu +++ b/scripts/runqemu | |||
| @@ -153,6 +153,9 @@ while true; do | |||
| 153 | "biosdir="*) | 153 | "biosdir="*) |
| 154 | CUSTOMBIOSDIR="${arg##biosdir=}" | 154 | CUSTOMBIOSDIR="${arg##biosdir=}" |
| 155 | ;; | 155 | ;; |
| 156 | "biosfilename="*) | ||
| 157 | SCRIPT_QEMU_OPT="$SCRIPT_QEMU_OPT -bios ${arg##biosfilename=}" | ||
| 158 | ;; | ||
| 156 | "qemuparams="*) | 159 | "qemuparams="*) |
| 157 | SCRIPT_QEMU_EXTRA_OPT="${arg##qemuparams=}" | 160 | SCRIPT_QEMU_EXTRA_OPT="${arg##qemuparams=}" |
| 158 | 161 | ||
