diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2011-03-28 22:52:23 +0300 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2011-03-28 22:56:52 +0300 |
| commit | aa6fdd186cf2c29e04d3cc8ca19783fb904a5a33 (patch) | |
| tree | cda427c73a76912e6d1f5d6a8a2e638a6fecaa43 /doc/src/sgml/ref | |
| parent | eb51af71f241e8cb199790dee9ad246bb36b3287 (diff) | |
Make duplicate_oids return nonzero exit status if duplicates were found
Automatic detection of errors is easier that way.
Diffstat (limited to 'doc/src/sgml/ref')
0 files changed, 0 insertions, 0 deletions