diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-15 18:20:05 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-06-15 19:35:31 +0200 |
| commit | 24a3208247c248956c5815554804da1bf9763ece (patch) | |
| tree | bfe241109a666a05ee015cc468dc0c1d2dbd6d92 /src/libmain | |
| parent | 8b099812eab7ccad9ebc6906450b637044de9369 (diff) | |
Include only the base name of the program in error messages
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 0f2c189a6..dc6d5e413 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -290,7 +290,7 @@ int handleExceptions(const string & programName, std::function<void()> fun) { ReceiveInterrupts receiveInterrupts; // FIXME: need better place for this - ErrorInfo::programName = programName; + ErrorInfo::programName = baseNameOf(programName); string error = ANSI_RED "error:" ANSI_NORMAL " "; try { |