X-Git-Url: https://git.wh0rd.org/?p=chrome-ext%2Fmusic-player-client.git;a=blobdiff_plain;f=makedist.sh;fp=makedist.sh;h=661f9f7c881747d61b71f61b909d13fae767b48b;hp=76be81836e843477312d5604cbbe9977fb208d62;hb=77c46373c36d0a0f7ddf5d88064b41985326b578;hpb=024ea28421ec5d9c88f80ac11403da6c43a40e6a diff --git a/makedist.sh b/makedist.sh index 76be818..661f9f7 100755 --- a/makedist.sh +++ b/makedist.sh @@ -30,7 +30,13 @@ while read line ; do [[ ${line} == */* ]] && mkdir -p "${P}/${line%/*}" ln "${line}" "${P}/${line}" done < <(sed 's:#.*::' manifest.files) -cp manifest.json "${P}/" +cp Makefile manifest.files manifest.json "${P}/" + +make -C "${P}" -j js-min +while read line ; do + mv "${line}.min" "${line}" +done < <(find "${P}" -name '*.js') +rm "${P}"/{manifest.files,Makefile} sed -i \ -e '/"version"/s:"[^"]*",:"'${PVR}'",:' \