diff --git a/gulpfile.mjs b/gulpfile.mjs index e119a570f..7752b2202 100644 --- a/gulpfile.mjs +++ b/gulpfile.mjs @@ -2355,6 +2355,12 @@ gulp.task( encoding: false, }) .pipe(gulp.dest(DIST_DIR)), + gulp + .src(GENERIC_DIR + "web/wasm/**/*", { + base: GENERIC_DIR + "web", + encoding: false, + }) + .pipe(gulp.dest(DIST_DIR)), gulp .src( [