Skip to content

Commit eb1f731

Browse files
committed
Finishing touches on library log script
1 parent 57fc364 commit eb1f731

1 file changed

Lines changed: 7 additions & 5 deletions

File tree

generate/libraries_log_delete.php

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,30 +2,32 @@
22

33
require_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>

0 commit comments

Comments
 (0)