Merge pull request #73287 from atrick/fix-splitcmd

Fix dev-scripts/split-cmdline: quote ';' arguments

Author: atrick

utils/dev-scripts/split-cmdline

@@ -69,7 +69,7 @@ def main():
                 first = True
                 continue
 
-            if " " in arg:
+            if " " in arg or ";" in arg:
                 print('"' + arg + '"', end="")
             else:
                 print(arg, end="")