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"):