From a83490a2e789b396e1e0316e2a765503a9ef10f4 Mon Sep 17 00:00:00 2001 From: Piero Toffanin Date: Mon, 6 Jun 2022 13:52:44 -0400 Subject: [PATCH] Save some space during Windows build --- configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.py b/configure.py index d3612812..e2c99b71 100644 --- a/configure.py +++ b/configure.py @@ -60,7 +60,6 @@ def vcpkg_requirements(): with open("vcpkg-requirements.txt") as f: pckgs = list(filter(lambda l: len(l) > 0, map(str.strip, f.read().split("\n")))) return pckgs - def build(): # Create python virtual env @@ -94,6 +93,7 @@ def build(): os.rename(top_dir, "vcpkg") else: print("Warning! Something looks wrong in the VCPKG archive... check the vcpkg/ directory.") + safe_remove("vcpkg-env.zip") if not os.path.exists(os.path.join("SuperBuild", "build")) or not os.path.exists(os.path.join("SuperBuild", "install")): print("Compiling SuperBuild")