Fix non-flags parameters with the same name "flags" being treated as TL flags

2025-08-31 06:16:06 +00:00 · 2022-04-11 14:52:59 +02:00
parent 82b029c3bf
commit d6c80ff0f9
1 changed files with 1 additions and 1 deletions
--- a/compiler/api/compiler.py
+++ b/compiler/api/compiler.py
@@ -132,7 +132,7 @@ def sort_args(args):
        args.remove(i)

    for i in args[:]:
-        if re.match(r"flags\d?", i[0]):
+        if re.match(r"flags\d?", i[0]) and i[1] == "#":
            args.remove(i)

    return args + flags