trivial: fix regexp string escape complaint

Python 3.12 complains about `\<` not being a legal escape sequence. Use raw string instead. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 18, 2024 · 25f877e · 25f877e
1 parent 04af0ee
commit 25f877e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/misc/bump/ver-bump.py b/misc/bump/ver-bump.py
@@ -34,7 +34,7 @@ def main():
     with open(args.manifest, 'w') as manifest:
         found = False
         for line in lines:
-            if re.match('  \<project name="seL4" revision="[a-f0-9]{40}', line) and not found:
+            if re.match(r'  \<project name="seL4" revision="[a-f0-9]{40}', line) and not found:
                 found = True
                 manifest.write(re.sub('revision="[a-f0-9]{40}',
                                       'revision="' + args.revision, line))