From e5f6704a81ca725ceeec33588cdda63b737a72f9 Mon Sep 17 00:00:00 2001
From: Sebastian Wick <sebastian.wick@redhat.com>
Date: Wed, 12 Feb 2025 15:08:22 +0100
Subject: [PATCH] build: Convert string to int in gen-keyname-table.py

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4267>
---
 clutter/clutter/gen-keyname-table.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clutter/clutter/gen-keyname-table.py b/clutter/clutter/gen-keyname-table.py
index e566fab9c..5826c06ba 100755
--- a/clutter/clutter/gen-keyname-table.py
+++ b/clutter/clutter/gen-keyname-table.py
@@ -51,7 +51,7 @@ if __name__ == "__main__":
                 sys.exit(f"Failed to parse line: {line}")
 
             groups = match.groups()
-            keys.append(Key(groups[1], groups[0]))
+            keys.append(Key(groups[1], int(groups[0])))
 
     formatted_time = time.strftime("%a %b %d %H:%M:%S %Y", time.gmtime())
     print(f"""/* clutter-keyname-table.h: Generated by gen-keyname-table.py from keynames.txt