diff options
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 |