From aa498c40453eccf32e9c1dde68b4ad3d53e85eda Mon Sep 17 00:00:00 2001
From: effulgentsia <477547+effulgentsia@users.noreply.github.com>
Date: Thu, 19 Mar 2026 00:45:37 -0700
Subject: [PATCH] In download-wasmtime.py, also copy the precompiled minimal
 binary

---
 ci/download-wasmtime.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/download-wasmtime.py b/ci/download-wasmtime.py
index 459df58..98e1139 100644
--- a/ci/download-wasmtime.py
+++ b/ci/download-wasmtime.py
@@ -51,6 +51,7 @@
         shutil.copytree(src + '/include', 'build/include', dirs_exist_ok=True)
 
     shutil.copytree(src + '/lib', 'build/' + dirname, dirs_exist_ok=True)
+    shutil.copytree(src + '/min/lib', 'build/' + dirname + '-min', dirs_exist_ok=True)
     shutil.rmtree(src)
 
 for dylib in glob.glob("build/**/*.dll"):