remote-run: fix getopts

2020-07-04 17:30:59 +08:00 · 2020-07-04 17:30:59 +08:00 · 35ffe6729b
commit 35ffe6729b
parent d5df759341
1 changed files with 1 additions and 1 deletions
--- 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
        ;;