diff --git a/build/src/build.bqn b/build/src/build.bqn index 07f5dba6..fe7d5980 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -405,6 +405,7 @@ Run ← { 𝕊: doneCount ← 0 stopping ← 0 Fail ← {stopping↩1 ⋄ Log 𝕩} + nextRedraw ← ¯∞ DoneLine ← {𝕊: ∾⟨•Repr doneCount, "/", •Repr ≠req⟩} { 𝕊: {𝕊: @@ -418,13 +419,16 @@ Run ← { 𝕊: t1 ← •MonoTime@ tmap ↩ ⍷tmap∾Ts work - UpdateLive (nextRedraw-0.02 - dm ← 0.1 WaitForOne Ts work + dm ← (0.1⌊nextRedraw-t1) WaitForOne Ts work lm ← ¬dm {𝕊: Fail "Error: Fork died" ⋄ dm‿lm∧↩