Thomas Munro <thomas.munro@enterprisedb.com> writes:
> As for whether hypothetical check scripts would ever be run, I was
> thinking we should stick them under some make target that developers
> run all the time anyway -- perhaps "check". Shouldn't we catch simple
> mechanically detectable problems as early in the pipeline as possible?
Adding overhead to every developer's every test cycle doesn't sound
like a win. Possibly a reasonable compromise would be to have some
buildfarm members running this check.
regards, tom lane