local_run: fixed bash opt bug.

2020-07-06 15:15:35 +08:00 · 2020-07-06 15:15:35 +08:00 · 1d975dd8bf
parent f895773535
commit 1d975dd8bf
1 changed files with 1 additions and 1 deletions
--- a/local_run.sh
+++ b/local_run.sh
@ -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
        ;;