diff options
Diffstat (limited to 'src/ci/docker/emscripten')
| -rwxr-xr-x | src/ci/docker/emscripten/build-emscripten.sh | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/src/ci/docker/emscripten/build-emscripten.sh b/src/ci/docker/emscripten/build-emscripten.sh index 2ce7a58ae66..88bf583007c 100755 --- a/src/ci/docker/emscripten/build-emscripten.sh +++ b/src/ci/docker/emscripten/build-emscripten.sh @@ -11,9 +11,26 @@ set -ex +hide_output() { + set +x + on_err=" +echo ERROR: An error was encountered with the build. +cat /tmp/build.log +exit 1 +" + trap "$on_err" ERR + bash -c "while true; do sleep 30; echo \$(date) - building ...; done" & + PING_LOOP_PID=$! + $@ &> /tmp/build.log + trap - ERR + kill $PING_LOOP_PID + rm /tmp/build.log + set -x +} + curl https://s3.amazonaws.com/mozilla-games/emscripten/releases/emsdk-portable.tar.gz | \ tar xzf - source emsdk_portable/emsdk_env.sh -emsdk update -emsdk install --build=Release sdk-tag-1.37.1-32bit -emsdk activate --build=Release sdk-tag-1.37.1-32bit +hide_output emsdk update +hide_output emsdk install --build=Release sdk-tag-1.37.1-32bit +hide_output emsdk activate --build=Release sdk-tag-1.37.1-32bit |