From f9024ccb994273053492ec1b61890a1a3503313d Mon Sep 17 00:00:00 2001
From: Jose <jose@zeroc.com>
Date: Wed, 30 Dec 2020 17:57:24 +0100
Subject: Fix exception message

---
 scripts/Util.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'scripts/Util.py')

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
-- 
cgit v1.2.3