1  #!/bin/bash
2  set -eu
3  script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
4  cd "$script_path"
5  
6  ./build_demo_web.sh && ls -lh ../docs/*.wasm