From 35ffe6729b6f89edf54feb9bda3c3ba7167f2038 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Sat, 4 Jul 2020 17:30:59 +0800 Subject: [PATCH] remote-run: fix getopts --- remote_run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/remote_run.sh b/remote_run.sh index f701dec2..4ab30752 100755 --- a/remote_run.sh +++ b/remote_run.sh @@ -7,7 +7,7 @@ impure=0 pure_dir="result" impure_dir="build" -while getopts "h:i" opt; do +while getopts "h:id:" opt; do case "$opt" in \?) exit 0 ;;