[...]

tmp/B.pnlxed25/tmp /tmp/B.pnlxed25/BUILD
+ rm -rf /tmp/B.pnlxed25
Begin-TLD-Builder-Info
Build-Time: user:1.15s sys:0.51s real:3.67s (faults io:0 non-io:158799)
End-TLD-Builder-Info