move global build time start to earliest possible point

This commit is contained in:
dzaima 2022-12-24 15:52:18 +02:00
parent 4b1b935742
commit c58ba6ee52

View File

@ -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 {stopping1 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
}