From ffa4b38512c51bfd63327e74df3fe3144fbf1f0b Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 26 Aug 2023 17:23:00 +0300 Subject: [PATCH] mention which fork died in build.bqn --- build/src/build.bqn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index 052abf32..8ac56181 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -552,12 +552,12 @@ Run ← { 𝕊: UpdateLive (nextRedraw-0.02 dm ← (0.1⌊nextRedraw-t1) WaitForOne Ts work lm ← ¬dm - {𝕊: Fail "Error: Fork died" ⋄ dm‿lm∧↩