From 9a8da8c64a12bc564a938f3d2e0bd92f6f3f4b00 Mon Sep 17 00:00:00 2001
From: bjorn3 <bjorn3@users.noreply.github.com>
Date: Wed, 16 Mar 2022 19:21:24 +0100
Subject: [PATCH] Slightly speed up building of y.rs

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

diff --git a/y.rs b/y.rs
index e412288b938..f177b91c2c4 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} -g
+rustc $0 -o ${0/.rs/.bin} -Cdebuginfo=1
 exec ${0/.rs/.bin} $@
 */