egui/scripts/wasm_size.sh

mirror of https://github.com/emilk/egui.git
#!/usr/bin/env bash
set -eu
script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$script_path"

./build_demo_web.sh && ls -lh ../web_demo/*.wasm
Use proper shebang for all bash scripts: #!/usr/bin/env bash 3 years ago			`#!/usr/bin/env bash`
Move shell scripts into sh/ subfolder 4 years ago			`set -eu`
			`script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )`
			`cd "$script_path"`

Rename `docs/` to `web_demo/` 12 months ago			`./build_demo_web.sh && ls -lh ../web_demo/*.wasm`