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');