From ebac22735b359677789fc0c5ae4c49d701f0ca99 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Fri, 30 Aug 2024 12:12:51 +1000
Subject: [PATCH] patching the patch

---
 .github/workflows/test.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 41c4134cb..f8268babb 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -121,9 +121,11 @@ jobs:
 
       - name: 'HACK: patch rustc_arch.sh script (within docker)'
         run: |
-          arch=$(rustc -vV | sed -e 's/host: \(.*\)$/\1/')
+          arch=$(rustc -vV | sed -n -e 's/host: \(.*\)$/\1/p')
           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\necho \"$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