diff options
Diffstat (limited to 'build_native.sh')
| -rwxr-xr-x | build_native.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/build_native.sh b/build_native.sh index a2f2a3b..fee1a7b 100755 --- a/build_native.sh +++ b/build_native.sh @@ -1,9 +1,11 @@ #!/bin/bash -rm exp.js -find src/js -name '*.js' -exec cat {} \; >> exp.js -echo >> exp.js -echo "main();" >> exp.js +rm exp_unmin.js +find src/js -name '*.js' -exec cat {} \; >> exp_unmin.js +echo >> exp_unmin.js +echo "main();" >> exp_unmin.js + +cat exp_unmin.js | tools/bin/jsmin > exp.js rm stage4.js find src/stage4 -name '*.js' -exec cat {} \; >> stage4.js |
