diff options
Diffstat (limited to 'scripts/build-prod.sh')
| -rwxr-xr-x | scripts/build-prod.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build-prod.sh b/scripts/build-prod.sh index 7f73a6f..0a5d8a3 100755 --- a/scripts/build-prod.sh +++ b/scripts/build-prod.sh @@ -1,8 +1,8 @@ #!/bin/bash TOP_LEVEL="$(git rev-parse --show-toplevel)" -OUT_FILE="build/index.js" -OUT_MIN_FILE="build/index.min.js" +OUT_FILE="build/main.js" +OUT_MIN_FILE="build/main.min.js" mkdir -p build && rm -r build/* @@ -12,7 +12,7 @@ echo ":: Outputting index.html to build/index.html" elm make src/Main.elm --optimize --output="${OUT_FILE}" uglifyjs "${OUT_FILE}" --compress 'pure_funcs=[F2,F3,F4,F5,F6,F7,F8,F9,A2,A3,A4,A5,A6,A7,A8,A9],pure_getters,keep_fargs=false,unsafe_comps,unsafe' | uglifyjs --mangle --output "${OUT_MIN_FILE}" -cp index.prod.html build/index.html +cp src/index.html build/index.html echo ":: Compiled size: $(wc -c $OUT_FILE) bytes ($OUT_FILE)" echo ":: Minified size: $(wc -c $OUT_MIN_FILE) bytes ($OUT_MIN_FILE)" |
