CI: shell escape echoed output during Windows build

Makes it slightly easier to copy and paste these commands if necessary.

diff --git a/ci/build_windows.py b/ci/build_windows.py
index b4a2428111443e20c8a315e56f67156894a9201d..1db270ad0730a4a86fb1d4b4b4e2ffc9d2259c90 100644 (file)
--- a/ci/build_windows.py
+++ b/ci/build_windows.py
@@ -5,13 +5,14 @@
 import argparse
 import os
 from pathlib import Path
+import shlex
 import shutil
 import subprocess
 import sys
 from typing import List
 
 def run(args: List[str], cwd: Path): #pylint: disable=C0116
-  print(f"+ {' '.join(str(x) for x in args)}")
+  print(f"+ {' '.join(shlex.quote(str(x)) for x in args)}")
   subprocess.check_call(args, stderr=subprocess.STDOUT, cwd=cwd)
 
 def main(args: List[str]) -> int: #pylint: disable=C0116