| changeset 67743 | 7bd0a250183b |
| parent 67506 | 30233285270a |
| child 68130 | 6fb85346cb79 |
--- a/etc/options Thu Mar 01 20:44:38 2018 +0100 +++ b/etc/options Fri Mar 02 11:52:27 2018 +0100 @@ -256,3 +256,4 @@ option build_log_ssh_user : string = "" option build_log_ssh_port : int = 0 option build_log_history : int = 30 -- "length of relevant history (in days)" +option build_log_transaction_size : int = 1 -- "number of log files for each db update"