diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-29 15:59:25 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-29 15:59:25 +0200 |
| commit | f271fb00686fdf51307bc038247ef155f90f7f3c (patch) | |
| tree | 8698ab55b284730f4caa87b7feb3952d434265d8 /conf/default.conf | |
| parent | 89f2939484c3dee3e8119f5b54fbfd75b146f02f (diff) | |
| download | builder-f271fb00686fdf51307bc038247ef155f90f7f3c.tar.xz | |
conf/default.conf: put number of partitions into variable
Diffstat (limited to 'conf/default.conf')
| -rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index efbb5b4..ec57a7c 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -34,6 +34,8 @@ master_build_server_identity="${work_dir}/.ssh/id_rsa" repo_key='0xdeadbeef' package_key='0x15eebadc0de' +mysql_files_table_partitions=16 + # what can be done via the email interface possible_email_actions='stabilize block unblock schedule copy-to-build-support' |