31 line
615B

  1. #!/usr/bin/php
  2. <?php
  3. chdir(dirname(__FILE__));
  4. require_once 'common.php';
  5. assertCli();
  6. /**
  7. * @file
  8. * Runs all generation/flush cache scripts to ensure that somewhat volatile
  9. * generated files are up-to-date.
  10. */
  11. function e($cmd)
  12. {
  13. echo "\$ $cmd\n";
  14. passthru($cmd, $status);
  15. echo "\n";
  16. if ($status) exit($status);
  17. }
  18. $php = empty($_SERVER['argv'][1]) ? 'php' : $_SERVER['argv'][1];
  19. e($php . ' generate-includes.php');
  20. e($php . ' generate-schema-cache.php');
  21. e($php . ' flush-definition-cache.php');
  22. e($php . ' generate-standalone.php');
  23. e($php . ' config-scanner.php');
  24. // vim: et sw=4 sts=4