From c58ba6ee5292033cf19eba66ad21e47673708af7 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 24 Dec 2022 15:52:18 +0200 Subject: [PATCH] move global build time start to earliest possible point --- build/src/build.bqn | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index 4e8982f3..30883444 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -1,5 +1,5 @@ +t0g ← •MonoTime@ #!build/obj2/for_build - # to emulate on makefile transition: NO_LDL → rm_lf=-ldl; no_fPIC → rm_f=-fPIC; something something PIE ⟨Spawn, WaitForOne⟩ ← ⟨⟩ •Import "fork.bqn" @@ -388,7 +388,6 @@ Run ← { 𝕊: doneCount ← 0 stopping ← 0 Fail ← {stopping↩1 ⋄ Log 𝕩} - t0 ← •MonoTime@ DoneLine ← {𝕊: ∾⟨•Repr doneCount, "/", •Repr ≠req⟩} { 𝕊: {𝕊: @@ -417,7 +416,7 @@ Run ← { 𝕊: free∾↩ Ts done }•_while_{𝕊: (0<≠work) ∨ (¬stopping)∧0<≠left}@ - Log ∾⟨DoneLine@, " in ", FmtTime t0-˜•MonoTime@, "s", stopping/"; failed to build"⟩ + Log ∾⟨DoneLine@, " in ", FmtTime t0g-˜•MonoTime@, "s", stopping/"; failed to build"⟩ ¬stopping }