From 915f28f0ae07ca368fa489127ca1f8bb8f4c93f8 Mon Sep 17 00:00:00 2001
From: akwizgran <michael@briarproject.org>
Date: Tue, 22 Nov 2022 18:23:42 +0000
Subject: [PATCH] Create parents of tool output dir.
---
build-binary.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build-binary.py b/build-binary.py
index c6f707b..ae1976d 100755
--- a/build-binary.py
+++ b/build-binary.py
@@ -28,7 +28,7 @@ def main():
# Create the output directory, deleting it first if it already exists
output_dir = get_output_dir(tool)
if os.path.exists(output_dir): shutil.rmtree(output_dir)
- os.mkdir(output_dir)
+ os.makedirs(output_dir)
# Build and package for various platforms and architectures
build_android(tool, versions)
--
GitLab