diff options
| author | Peter Eisentraut | 2011-11-29 20:04:59 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-11-29 21:51:28 +0000 |
| commit | 75b61836940aaa81f3073c7e77f8c295d99093ae (patch) | |
| tree | 53e4b3c33a4b9b8604433006aebff2fac3eee8b5 /doc/src | |
| parent | d16ebde58275d848968e758ec643efc8ce64c8fa (diff) | |
Strip file names reported in error messages in vpath builds
In vpath builds, the __FILE__ macro that is used in verbose error
reports contains the full absolute file name, which makes the error
messages excessively verbose. So keep only the base name, thus
matching the behavior of non-vpath builds.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions