Dear Peter,
>> Split 3 of the initial submission, which actually deal with data
>> measured and reported on stderr under various options.
>
> It seems this patch doesn't apply. Does it need the first two applied
> first?
Oops. Indeed. The patch is fully independent of the two others. It was
generated with "git diff -b master", because I was told not to change
spacing, but then it must be applied with "patch -l -p1".
Please find attached a new version without this requirement.
postgresql> git branch test postgresql> git checkout test Switched to branch 'test' postgresql> patch -p1 <
../pgbench-measurements-v4.patchpatching file contrib/pgbench/pgbench.c patching file doc/src/sgml/pgbench.sgml
--
Fabien.