small web tweaks

isolation_bkp/dynres
Dominik Madarász 2022-09-12 07:07:19 +00:00 committed by GitHub
parent cbfb40a099
commit 2516be7920
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 6 deletions

View File

@ -3,7 +3,11 @@
set -xe set -xe
pushd build_web pushd build_web
BUILD_PATH_PREFIX_MAP=$(pwd)=. cmake --build . --parallel if [ -f "index.html" ]; then
rm -rf index.html
fi
cmake --build . --parallel
if [ -f "eco2d.html" ]; then if [ -f "eco2d.html" ]; then
mv eco2d.html index.html mv eco2d.html index.html
fi fi

View File

@ -19,11 +19,6 @@ if [ ! -d "butler" ]; then
popd popd
fi fi
# Build web
if [ -f "build_web/index.html" ]; then
rm -rf build_web/index.html
fi
# Build the project # Build the project
web/build.sh web/build.sh