diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jsshrink.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/jsshrink.sh b/bin/jsshrink.sh index f7c7b22e9..0890a5c40 100755 --- a/bin/jsshrink.sh +++ b/bin/jsshrink.sh @@ -9,7 +9,9 @@ CLOSURE_COMPILER_URL='http://dl.google.com/closure-compiler/compiler-20131014.zi do_shrink() { rm -f "$2" - java -jar $JAR_DIR/compiler.jar --compilation_level=SIMPLE_OPTIMIZATIONS --js="$1" --js_output_file="$2" --language_in="$3" + # copy the first comment block with license information for LibreJS + grep -q '@lic' $1 && sed -n '/\/\*/,/\*\// { p; /\*\//q; }' $1 > $2 + java -jar $JAR_DIR/compiler.jar --compilation_level=SIMPLE_OPTIMIZATIONS --js="$1" --language_in="$3" >> $2 } if [ ! -d "$JS_DIR" ]; then |