From dcf7b9f2226b280e1e0b1ecca26097dcaf07a77c Mon Sep 17 00:00:00 2001 From: Abdullah Ahmed <12223088+geektype@users.noreply.github.com> Date: Thu, 15 Feb 2024 20:45:54 +0000 Subject: [PATCH] pr dummy commit to create PR --- src/ci/docker/run.sh | 1 + 1 file changed, 1 insertion(+) 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 ]]