diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Util.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index dce5c427f3b..9f2f9e32f89 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -807,7 +807,8 @@ class Mapping(object): @classmethod def getByName(self, name): if not name in self.mappings: - raise RuntimeError("unknown mapping `{0}', available mappings `{1}'".format(name, self.mappings)) + raise RuntimeError("unknown mapping: `{0}', known mappings: `{1}'".format( + name, list(self.mappings))) return self.mappings.get(name) @classmethod |