mirror of
https://github.com/ezyang/htmlpurifier.git
synced 2024-09-19 18:55:19 +00:00
31 lines
603 B
PHP
31 lines
603 B
PHP
#!/usr/bin/php
|
|
<?php
|
|
|
|
chdir(dirname(__FILE__));
|
|
require_once 'common.php';
|
|
assertCli();
|
|
|
|
/**
|
|
* @file
|
|
* Runs all generation/flush cache scripts to ensure that somewhat volatile
|
|
* generated files are up-to-date.
|
|
*/
|
|
|
|
function e($cmd) {
|
|
echo "\$ $cmd\n";
|
|
passthru($cmd, $status);
|
|
echo "\n";
|
|
if ($status) exit($status);
|
|
}
|
|
|
|
$php = $_SERVER['argv'][1];
|
|
if (!$php) $php = 'php';
|
|
|
|
e($php . ' generate-includes.php');
|
|
e($php . ' generate-schema-cache.php');
|
|
e($php . ' flush-definition-cache.php');
|
|
e($php . ' generate-standalone.php');
|
|
e($php . ' config-scanner.php');
|
|
|
|
// vim: et sw=4 sts=4
|