Hi, On 2022-03-30 12:58:26 -0400, Tom Lane wrote: > Andres Freund <and...@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
