diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rebuild.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/rebuild.php b/tools/rebuild.php index 0e63dc74..1560893c 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -100,5 +100,6 @@ if(!$options['quiet']) printf("Complete! Took %g seconds\n", microtime(true) - $start); + unset($board); modLog('Rebuilt everything using tools/rebuild.php'); |