diff options
author | Thomas Bruederli <thomas@roundcube.net> | 2017-06-12 22:59:30 +0300 |
---|---|---|
committer | Thomas Bruederli <thomas@roundcube.net> | 2017-06-12 22:59:30 +0300 |
commit | 906179b77b47d619b27ea9c8dbb826c5eecf857c (patch) | |
tree | b201a74f4fd08d1ccc4e222355ba93764c20029d /bin | |
parent | 28b2a6553a9dd85f83fa6d6628cd1992d02574ce (diff) |
Run bin/install-jsdeps.sh from installto.sh script
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/installto.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bin/installto.sh b/bin/installto.sh index 667d3ae1a..568de70a2 100755 --- a/bin/installto.sh +++ b/bin/installto.sh @@ -99,6 +99,16 @@ if (strtolower($input) == 'y') { echo "done.\n\n"; } + // check if js-deps are up-to-date + $jsdeps = json_decode(file_get_contents("$target_dir/jsdeps.json")); + $package = $jsdeps->dependencies[0]; + $dest_file = $target_dir . '/' . $package['dest']; + if (!file_exists($dest_file) || sha1_file($dest_file) !== $package['sha1']) { + echo "Installing JavaScript dependencies..."; + system("cd $target_dir && bin/install-jsdeps.sh"); + echo "done.\n\n"; + } + echo "Running update script at target...\n"; system("cd $target_dir && php bin/update.sh --version=$oldversion"); echo "All done.\n"; |