Create docker_obj folder for CI

pluots · Sep 28, 2023 · 7e43db4 · 7e43db4
1 parent 86ed39e
commit 7e43db4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/validation-rust.yaml b/.github/workflows/validation-rust.yaml
@@ -91,6 +91,7 @@ jobs:
           mv /tmp/.buildx-cache-new /tmp/.buildx-cache
       - name: Start docker
         run: >
+          mkdir docker_obj &&
           docker run --rm
           --volume $(pwd):/checkout:ro
           --volume $(pwd)/docker_obj:/obj

diff --git a/rust/run.sh b/rust/run.sh
@@ -27,7 +27,7 @@ args=("${args[@]}" "--rm")
 build_cmd="/checkout/rust/scripts/launch/build_maria.sh"
 test_cmd="/checkout/rust/scripts/launch/run_mtr.sh"
 
-help="USAGE: ./run_docker.sh build|test|shell"
+help="USAGE: ./run.sh build|test|shell"
 
 if [ -z "${1:-""}" ]; then
     echo "$help"