1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 14:49:06 -04:00
Files
egui/scripts/wasm_size.sh
2023-11-16 16:44:30 +01:00

7 lines
158 B
Bash
Executable File

#!/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