diff options
Diffstat (limited to 'tools/rebuild.php')
| -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 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 |