The attached patch "fixes" this:
hp% ./bash -c 'time (TIMEFORMAT=y)'
real0m0.001s
user0m0.000s
sys 0m0.000s
hp% bash -c 'time (TIMEFORMAT=y)'
y
Disclaimer: I don't know if it's a good patch. It may break stuff.
This problem is caused due to bash passing
Ya know, if you are looking for optimization opportunities, using
a temporary file to communicate between processes rather than
using an actual pipe, is definitely a performance hit --
ESPECIALLY on Cygwin, where you can't even do a "stat" call on
a file without actually opening the file.
I seem
bash 4.4.0 (I did not investigate other versions) does not produce an
error message if you try to assign something to the BASHPID readonly
using either arithmetic or normal assignment. Other readonlies produce a
message on an assignment attempt. BASHPID seems to be an exception.
Particularly anno