Re: `time ( someCmd )` Doesn't Print Time Under 5.2

[Emanuele Torre]

On Mon, Nov 21, 2022 at 07:07:08PM -0500, dabe@dabe.com wrote:
>       emanuele6 suspects it has to do with 
> https://lists.gnu.org/archive/html/bug-bash/2022-10/msg00107.html

No, 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.

But I said it may have something to do with bash running some code that
should run in the main shell, in the subshell that runs the command,
since bash 5.2 prints timing information for `time (echo hi)' (builtin
command), but not for `time (/bin/echo hi)' (external command).
But I have not investigated what is the actual cause of the issue.

emanuele6