Fix web REPL build script, which was not copying some files

This commit is contained in:
Brian Carroll 2022-06-08 07:05:19 +01:00
parent 6fe8328a29
commit aab3d41e9f
No known key found for this signature in database
GPG Key ID: 9CF4E3BF9C4722C7

View File

@ -37,3 +37,9 @@ fi
BINDGEN_FILE="roc_repl_wasm.js"
echo 'var __wbg_star0 = { now: Date.now };' > $WWW_ROOT/$BINDGEN_FILE
grep -v '^import' repl_wasm/pkg/$BINDGEN_FILE >> $WWW_ROOT/$BINDGEN_FILE
# Copy static files
if [[ $WWW_ROOT != repl_www/public ]]
then
cp -r repl_www/public/* $WWW_ROOT
fi