2022-09-11 23:52:01 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -xe
|
|
|
|
|
|
|
|
|
|
pushd build_web
|
2022-09-12 07:07:19 +00:00
|
|
|
if [ -f "index.html" ]; then
|
|
|
|
|
rm -rf index.html
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cmake --build . --parallel
|
2022-09-11 23:52:01 +00:00
|
|
|
if [ -f "eco2d.html" ]; then
|
|
|
|
|
mv eco2d.html index.html
|
|
|
|
|
fi
|
|
|
|
|
popd
|
