aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohannst <johannes.stoelp@gmail.com>2020-10-05 17:41:49 +0200
committerjohannst <johannes.stoelp@gmail.com>2020-10-05 17:41:49 +0200
commitf8dade26a8acedf9d3f86ea04ca35751a7d7b35a (patch)
tree1085c2e605787c12f18abbf5ef8383013ef7307c
parent750498b7b87e5189508e4d06b1ab3be970078f4e (diff)
downloadmatcha-threads-f8dade26a8acedf9d3f86ea04ca35751a7d7b35a.tar.gz
matcha-threads-f8dade26a8acedf9d3f86ea04ca35751a7d7b35a.zip
fix indent & use long option names in scripting
-rw-r--r--.github/workflows/check.yml6
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index da1fe20..a3cd520 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -16,8 +16,8 @@ jobs:
run: |
for arch in x86_64 arm64; do
echo -e "\e[1;32m==> check ARCH=$arch\e0m"
- docker run \
- --rm \
- -v $PWD:/develop \
+ docker run \
+ --rm \
+ --volume $PWD:/develop \
matcha-box /bin/bash -c "make clean && make ARCH=$arch demo1"
done