On 07.05.21 20:31, Andrew Dunstan wrote:
On 5/7/21 1:20 PM, Andres Freund wrote:
On 2021-05-07 11:19:02 -0400, Andrew Dunstan wrote:
Here's a patch that adds the README and also adds a Makefile recipe for
regenerating Gen_dummy_probes.pl after the sed script is changed. On my
system at least the recipe is idempotent.
Nice! Thanks for this work.
de nada. pushed.
This recipe doesn't produce a Gen_dummy_probes.pl that matches exactly
the one that is there now. If this is going to be the preferred method,
then we should generate it once so that it matches going forward.
