diff options
| author | bors <bors@rust-lang.org> | 2016-02-03 00:58:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2016-02-03 00:58:37 +0000 |
| commit | a9922419cf84a12b2b9c69f8b261cdd7c287c1a5 (patch) | |
| tree | 892a71c2d529580445b468a47d1b627ee5b8fbca /src/etc/errorck.py | |
| parent | dea183aa8461e8520b08864ec81ad2985be36d34 (diff) | |
| parent | 1a21dabf27232c5c9281a6bf7a8b83afb3efa201 (diff) | |
Auto merge of #31370 - Manishearth:rollup, r=Manishearth
- Successful merges: #27499, #31220, #31329, #31332, #31347, #31351, #31352, #31366 - Failed merges:
Diffstat (limited to 'src/etc/errorck.py')
| -rw-r--r-- | src/etc/errorck.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/errorck.py b/src/etc/errorck.py index 1b15d2c8598..1f5f3784ac6 100644 --- a/src/etc/errorck.py +++ b/src/etc/errorck.py @@ -114,7 +114,7 @@ if len(errcode_not_found) > 0: if errcode in errcode_checked: continue all_errors.append(errcode) - print("error: unused error code: " + errcode) + print("error: unused error code: {0} ({1}:{2})".format(*errcode_map[errcode][0])) errors = True |