]>
git.wh0rd.org - chrome-ext/music-player-client.git/blob - makedist.sh
2 # Copyright (c) 2013 The Chromium OS Authors. All rights reserved.
3 # Use of this source code is governed by a BSD-style license that can be
4 # found in the LICENSE file.
16 -e '/^[[:space:]]*"'"${key}"'"/s|.*:[[:space:]]*"([^"]*)",?$|\1|p' \
20 PN
=$
(json_value name |
sed 's:[[:space:]]:_:g' |
tr '[:upper:]' '[:lower:]')
21 PV
=$
(json_value version
)
30 [[ ${line} == */* ]] && mkdir -p "${P}/${line%/*}"
31 ln "${line}" "${P}/${line}"
32 done < <(sed 's:#.*::' manifest.files)
33 cp Makefile manifest.files manifest.json "${P}/"
35 make -C "${P}" -j js-min
37 mv "${line}.min
" "${line}"
38 done < <(find "${P}" -name '*.js')
39 rm "${P}"/{manifest.files,Makefile}
42 -e '/"version
"/s:"[^
"]*",:"'${PVR}'",:' \
46 zip -r "${zip}" "${P}"