From 2516be7920d2ed5be8d129350d64b140421f7342 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Mon, 12 Sep 2022 07:07:19 +0000 Subject: [PATCH] small web tweaks --- web/build.sh | 6 +++++- web/deploy.sh | 5 ----- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/web/build.sh b/web/build.sh index 22d77f7..04c3aee 100755 --- a/web/build.sh +++ b/web/build.sh @@ -3,7 +3,11 @@ set -xe 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 mv eco2d.html index.html fi diff --git a/web/deploy.sh b/web/deploy.sh index d027b80..17f135f 100755 --- a/web/deploy.sh +++ b/web/deploy.sh @@ -19,11 +19,6 @@ if [ ! -d "butler" ]; then popd fi -# Build web -if [ -f "build_web/index.html" ]; then - rm -rf build_web/index.html -fi - # Build the project web/build.sh