File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 22
33require_once ('../config.php ' );
44
5+ //Start time
56$ benchmark_start = microtime_float ();
67
8+ //Base path
79$ path = BASEDIR ;
810
911
1012
1113
12- // Switch from SVN to GIT, 14 FEB 2013
13- //`cd $path && /usr/bin/git pull https://github.com/processing/processing-docs/`;
14- //`cd $referencepath && python build_listing.py`;
1514
15+ //Path where build.log lives
1616$ path = $ path . 'contrib_generate ' ;
1717
18+ //Go to there and delete it
1819`cd $ path && rm build.log `;
19- //`pwd`;
2020
2121
2222
2323
24+
25+ //Timers
2426$ benchmark_end = microtime_float ();
2527$ execution_time = round ($ benchmark_end - $ benchmark_start , 4 );
2628
2729?>
2830
2931<h2>Log Deletion Successful</h2>
30- <p><?= $ path . 'build.log ' ?> no longer exists.</p>
32+ <p><?= $ path . '/ build.log ' ?> no longer exists.</p>
3133<p>Complete in <?= $ execution_time?> seconds.</p>
You can’t perform that action at this time.
0 commit comments