From e5b6be1b825fd3def515dce04f346e4f9ca23d07 Mon Sep 17 00:00:00 2001
From: Luke Street <luke.street@encounterpc.com>
Date: Sat, 11 Feb 2023 11:21:05 -0500
Subject: [PATCH] configure.py: Wrap  in quotes

Former-commit-id: b3617b556d635f328ec2e7cf0054da5e1217f8fc
---
 configure.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.py b/configure.py
index 0b1359bd..a7823166 100755
--- 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()
 
     ###