From 1d975dd8bf74a80d2574c1778076a37bc4afc332 Mon Sep 17 00:00:00 2001 From: pca006132 Date: Mon, 6 Jul 2020 15:15:35 +0800 Subject: [PATCH] local_run: fixed bash opt bug. --- local_run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/local_run.sh b/local_run.sh index c314fb0f..899fb440 100755 --- 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 ;;