On 11/22/22 5:01 PM, Chet Ramey <chet.ra...@case.edu> wrote:
Thanks for the report. It's an easy fix; bash was optimizing away the forkand therefore not printing the timing information.
Awesome! Hitting it with a hammer: $10 Knowing WHERE to hit it: $9,990 «grin» -- :- Dabe