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