On Sat, Sep 9, 2017 at 5:16 AM, Martijn Dekker <mart...@inlv.org> wrote: > The 'time' reserved word seems to be unable to time subshells that run > 'exec'. Is this intentional? (ksh93, mksh and zsh all do manage this.)
As far as I know, it is intentional. Read this thread which is about a similar issue: https://lists.gnu.org/archive/html/bug-bash/2016-10/msg00062.html