pgtest: run clean, build, and check stages separately
authorBruce Momjian <bruce@momjian.us>
Sat, 28 Jul 2018 19:34:06 +0000 (15:34 -0400)
committerBruce Momjian <bruce@momjian.us>
Sat, 28 Jul 2018 19:34:06 +0000 (15:34 -0400)
commit03131abe9b24a9806987f356da53a7a2440f3259
tree01a498307d9c210fa97a5627ab2d5ab7b205f38d
parenta326ca75b3296747bd70d62fa550b6fe004ecd92
pgtest:  run clean, build, and check stages separately

This allows for cleaner error reporting.

Backpatch-through: 9.5
src/tools/pgtest