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 · bf2d962 · bf2d962
1 parent ca3c72b
commit bf2d962
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))