diff options
| author | Bruce Momjian <bruce@momjian.us> | 2018-07-28 15:34:06 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2018-07-28 15:34:06 -0400 |
| commit | d524a11a72d65c96d16e6108387f2a8288ba15a6 (patch) | |
| tree | 03e1af97890004090abe9d2a74db7ffd5dbec920 /doc/src/sgml/ref/drop_user_mapping.sgml | |
| parent | 9a13e7f0f0c932c06fb459f497be1d83b0916613 (diff) | |
pgtest: run clean, build, and check stages separately
This allows for cleaner error reporting.
Backpatch-through: 9.5
Diffstat (limited to 'doc/src/sgml/ref/drop_user_mapping.sgml')
0 files changed, 0 insertions, 0 deletions