local_run: fixed bash opt bug. #34

Manually merged
pca006132 merged 1 commits from pca006132/artiq-zynq:master into master 2020-07-06 16:25:09 +08:00
1 changed files with 1 additions and 1 deletions

View File

@ -5,7 +5,7 @@ set -e
impure=0
load_bitstream=1
while getopts "h:i:l" opt; do
while getopts "h:il" opt; do
case "$opt" in
\?) exit 1
;;