Hi,
On 2022-03-30 12:58:26 -0400, Tom Lane wrote:
> Andres Freund <andres@anarazel.de> writes:
> > On 2022-03-30 12:34:34 -0400, Tom Lane wrote:
> >> One refinement that comes to mind as I look at the patch is to distinguish
> >> between "check" and "installcheck". Not sure that's worthwhile, but not
> >> sure it isn't, either.
>
> > As it's just about "free" to do so, I see no reason not to go for showing that
> > difference. How about:
>
> > echo "+++ (tap|regress|isolation) [install-]check in $(subdir) +++" && \
>
> WFM.
Pushed like that.
Greetings,
Andres Freund