From 7b83e16d5b61ccec51747e45eb0846acd40b7093 Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Thu, 19 Jan 2023 15:53:52 +0000
Subject: [PATCH] Workaround bug in rustc when panicking for -Cpanic=abort

---
 y.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/y.rs b/y.rs
index fd825d02e35..02e1e21ade1 100755
--- a/y.rs
+++ b/y.rs
@@ -3,7 +3,7 @@
 # This block is ignored by rustc
 set -e
 echo "[BUILD] y.rs" 1>&2
-rustc $0 -o ${0/.rs/.bin} -Cdebuginfo=1 --edition 2021 -Cpanic=abort
+rustc $0 -o ${0/.rs/.bin} -Cdebuginfo=1 --edition 2021
 exec ${0/.rs/.bin} $@
 */