Run bin/install-jsdeps.sh from installto.sh script

pull/5890/head
Thomas Bruederli 7 years ago
parent 28b2a6553a
commit 906179b77b

@ -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";

Loading…
Cancel
Save