' . TITLE . '';
$options = $check->pass_val['build_options'];
if ($options == NULL) // illegal entry
return;
$err = '';
$tool = new BuildTool($options);
if (!$tool || !$tool->generate_script($err))
{
echo 'Fail to generate build script, please try to manually fix the error first.
'.
$err . '
';
return;
}
$_SESSION['progress_file'] = $tool->progress_file;
$_SESSION['log_file'] = $tool->log_file;
$cmd = 'bash -c "exec ' . $tool->build_prepare_script . ' 1> ' . $tool->log_file . ' 2>&1" &';
exec($cmd);
?>
Please do not use the browser refresh, back and forward buttons while building PHP.