Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichal Čihař <michal@cihar.com>2011-08-15 19:17:32 +0400
committerMichal Čihař <michal@cihar.com>2011-08-15 19:17:34 +0400
commit3538fd83c27930d20e42e9d70664aab478c828aa (patch)
treebb48f05d7420a876bc7ff959a071e78e517d12fb /scripts
parentf552d312b3d08606f292abdc23932bc7a708b43a (diff)
Safer compression
Always have working file in js/
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/compress-js5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/compress-js b/scripts/compress-js
index ea43782eae..445cae49fb 100755
--- a/scripts/compress-js
+++ b/scripts/compress-js
@@ -4,6 +4,7 @@ set -e
for file in `find js -name '*.js' -not -name '*min.js'` ; do
mkdir -p sources/`dirname $file`
- mv $file sources/$file
- java -jar ./scripts/google-javascript-compiler/compiler.jar --js sources/$file --js_output_file $file
+ java -jar ./scripts/google-javascript-compiler/compiler.jar --js $file --js_output_file $file.tmp
+ cp -a $file sources/$file
+ mv $file.tmp $file
done