On 11/21/22 7:36 PM, Emanuele Torre <[email protected]> wrote:
On Mon, Nov 21, 2022 at 07:07:08PM -0500, [email protected] wrote:emanuele6 suspects it has to do with https://lists.gnu.org/archive/html/bug-bash/2022-10/msg00107.htmlNo, actually later, I said that it has probably been introduced earlier since I tried running 'time (sleep 1)' in a version of bash that preceeds that change (namely 6711d2dc7793ed3d35e91b2bd4ecbdfccfcf469f (2022-10-24)), and it still didn't print the timing report.
Mea culpa... Thanks for the clarification! :-D -- :- Dabe
