diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2016-02-03 02:54:24 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2016-02-03 02:54:24 +0530 |
| commit | f55995bad2466c8bf3eaeeb6afaa46b8167c1992 (patch) | |
| tree | 250aff277838f283768169d82c4a23a0bd4824b3 | |
| parent | 93042f2bfb512bf979d79573dfe4ebd9e4c4cb88 (diff) | |
| parent | 20c1dfd39e7326ae505bce0b1f1838e1371c82ad (diff) | |
| download | rust-f55995bad2466c8bf3eaeeb6afaa46b8167c1992.tar.gz rust-f55995bad2466c8bf3eaeeb6afaa46b8167c1992.zip | |
Rollup merge of #31332 - durka:errorck-fileline, r=brson
Small modification to #31288. Shows full path and line number for unused error codes.
| -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 |
