#!/usr/bin/php repos->fetch_list() AS $repos) { if ($repos != $argv[1]) { continue; } $controller = new Controller($repos); $controller->cachev->exec_build(); } /*=====================================================================*\ || ################################################################### || # $HeadURL$ || # $Id$ || ################################################################### \*=====================================================================*/ ?>