From 20c1dfd39e7326ae505bce0b1f1838e1371c82ad Mon Sep 17 00:00:00 2001
From: Alex Burka <aburka@seas.upenn.edu>
Date: Sun, 31 Jan 2016 17:19:38 -0500
Subject: [PATCH] show location of unused error codes

---
 src/etc/errorck.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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