diff options
| author | Joakim Reinert <mail@jreinert.com> | 2015-05-22 09:58:52 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2015-05-22 12:05:32 +0200 |
| commit | 55d7f35510ddc528423f07b1f164b3d2623a93f5 (patch) | |
| tree | 6462c179677b6b68c9d96e434fc03b5a51ae9f09 | |
| parent | 975d551a8a1fbe41303c6774c5082917bfcba4b1 (diff) | |
No need to remove main.min.*.js anymore. Relict from earlier stage.
| -rwxr-xr-x | scripts/optimize_js.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/optimize_js.sh b/scripts/optimize_js.sh index 95f31e358..f1bc1126e 100755 --- a/scripts/optimize_js.sh +++ b/scripts/optimize_js.sh @@ -3,5 +3,4 @@ script_dir=$(dirname "$0") js_dir="$script_dir/../data/js" outfile="$js_dir/main.min.js" -rm -f "$js_dir"/main.min.*.js node "$script_dir/r.js" -o mainConfigFile="$js_dir/main.js" name=main out=$outfile |