diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index bd5447ac835d9..e2d19d89b7cbe 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -7,6 +7,7 @@ export MSYS_NO_PATHCONV=1 script=`cd $(dirname $0) && pwd`/`basename $0` image="" + dev=0 while [[ $# -gt 0 ]]