Build scripts update.

build-with-docker.sh

@@ -3,6 +3,7 @@
 set -euo pipefail
 
 EM_VERSION=2.0.24
+BUILD_EXTERNAL=${EXTERNAL:-false}
 
 if [[ "$(docker images -q emscripten/emsdk:2.0.24 2> /dev/null)" == "" ]]; then
     docker pull emscripten/emsdk:$EM_VERSION
@@ -13,6 +14,6 @@ docker run \
   -v $PWD:/src \
   -v /etc/passwd:/etc/passwd:ro \
   -v /etc/group:/etc/group:ro \
-  -e EXTERNAL=$EXTERNAL \
+  -e EXTERNAL="$BUILD_EXTERNAL" \
   emscripten/emsdk:$EM_VERSION \
   bash ./wasm-build.sh "$(id -u)" "$(id -g)" "$@"

wasm-build.sh

 #!/bin/bash
 
-#set -eo pipefail
+set -euxo pipefail
 
 WORKPATH=$(cd $(dirname $0); pwd)