patching the patch

runtimeverification · Aug 30, 2024 · fb22ea5 · fb22ea5
1 parent 3a1ddb3
commit fb22ea5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -123,7 +123,9 @@ jobs:
         run: |
           arch=$(rustc -vV | sed -e 's/host: \(.*\)$/\1/')
           docker exec --user user mir-smir-ci-${GITHUB_SHA} \
-              bash -c "echo 'echo $arch' > deps/smir_pretty/rustc_arch.sh"
+              bash -c "printf '#!/bin/sh\n echo $arch\n' > deps/smir_pretty/rustc_arch.sh"
+          docker exec --user user mir-smir-ci-${GITHUB_SHA} \
+              cat deps/smir_pretty/rustc_arch.sh
           docker exec --user user mir-smir-ci-${GITHUB_SHA} \
               deps/smir_pretty/rustc_arch.sh