diff --git a/tools/rebuild.php b/tools/rebuild.php index 13452264..7d6a5abc 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -64,6 +64,7 @@ foreach($boards as &$board) { if(!$options['quiet']) echo "Opening board /{$board['uri']}/...\n"; openBoard($board['uri']); + $config['try_smarter'] = false; if($config['file_script'] != $main_js) { // different javascript file