From fb22ea5ee8ca26b7a0093e7c0793c55d1c515696 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Fri, 30 Aug 2024 12:12:51 +1000 Subject: [PATCH] patching the patch --- .github/workflows/test.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 41c4134cb..7a0a0a2aa 100644 --- 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