4 chdir(dirname(__FILE__
));
5 require_once 'common.php';
10 * Runs all generation/flush cache scripts to ensure that somewhat volatile
11 * generated files are up-to-date.
16 passthru($cmd, $status);
18 if ($status) exit($status);
21 $php = $_SERVER['argv'][1];
22 if (!$php) $php = 'php';
24 e($php . ' generate-includes.php');
25 e($php . ' generate-schema-cache.php');
26 e($php . ' flush-definition-cache.php');
27 e($php . ' generate-standalone.php');
28 e($php . ' config-scanner.php');