ModuleBuilder not deploying new field


I have created a module in ModuleBuilder and deployed it. I then created a new field in ModuleBuilder and deployed it again, but the field was not created in my database. No error was reported, but when I tried to create a record, I get an error saying that the field does not exist.

I think I have tracked down the problem to modules/Administration/QuickRepairAndRebuild.php, function repairDatabaseSelectModules(). The function creates the necessary SQL at line 177:

        $sql .= $db->repairTable($focus, $this->execute);

However, because $this->show_output is false, it doesn’t do anything with it. Presumably, it should be shown on screen (like it does with the Quick Repair screen), or executed automatically.

Have I missed something obvious?