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 ;;