diff options
author | Michael Schroeder <mls@suse.de> | 2017-01-26 11:50:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-26 11:50:39 +0100 |
commit | 559ed475b42be076064f288d6a991f0a5e3398f8 (patch) | |
tree | d165922b283a6fa07862131bc31dba9db4edbaaf /build-vm | |
parent | 75ac4db1a7734175391fe8d2b3860579b56dea20 (diff) | |
parent | d135065c0dd2fdb05bcd288900bf4086960959b1 (diff) |
Merge pull request #328 from bmwiedemann/customopt
allow to pass custom options via CLI args
Diffstat (limited to 'build-vm')
-rw-r--r-- | build-vm | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -262,6 +262,10 @@ vm_parse_options() { VM_DEVICEOPT=("${VM_DEVICEOPT[@]}" "$ARG") shift ;; + -vm-custom-opt) + needarg + VM_CUSTOMOPT="$ARG" + shift -*) return 1 ;; |