Spring is here, even if most of us are locked down! Nothing profound here, but I got tired of adding if !verbose >= 1 then Printf.printf when poking around, so finally added a debug function. I was also debugging something where I was suspicious that stderr from a command might be coming out of order from unflushed stdout messages from flexlink - it turned out they weren't, but I've added explicit flush or %! where appropriate to all messages in Reloc
Spring is here, even if most of us are locked down! Nothing profound here, but I got tired of adding
if !verbose >= 1 then Printf.printfwhen poking around, so finally added a debug function. I was also debugging something where I was suspicious that stderr from a command might be coming out of order from unflushed stdout messages from flexlink - it turned out they weren't, but I've added explicitflushor%!where appropriate to all messages inReloc