configure.py: Wrap in quotes

2023-02-11 11:21:05 -05:00 · 2023-02-11 11:21:05 -05:00 · b3617b556d
parent e65814a367
commit b3617b556d
1 changed files with 1 additions and 1 deletions
--- a/configure.py
+++ b/configure.py
@ -1133,7 +1133,7 @@ if __name__ == "__main__":
    if os.name != "nt" and "DEVKITPPC" in os.environ and not args.devkitppc:
        configure_args.extend(["--devkitppc", os.environ["DEVKITPPC"]])
    n.variable("configure_args", configure_args)
-    n.variable("python", sys.executable)
+    n.variable("python", f"\"{sys.executable}\"")
    n.newline()

    ###