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