Mathias Baumann 98b7dc2881 Change emscripten default build dir to "emscriptenBuild" ...

Avoids complications with local build directory when building.

2019-02-27 12:30:15 +01:00

..

build_emscripten.sh

Change emscripten default build dir to "emscriptenBuild"

2019-02-27 12:30:15 +01:00

deploy_key.enc

…

install_deps.sh

Update to boost 1.68 for emscripten builds.

2019-01-07 13:30:49 +01:00

publish_binary.sh

Simplify publish script

2016-10-14 19:35:42 +01:00