diff options
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/default.conf | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 314cb76..c738fc8 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -41,6 +41,16 @@ master_mirror_sftp_commend='sftp -b- user@mirror' # directory to keep the build log files in build_log_directory='/srv/http/build-logs' +# what should be tried in what order to somehow repair a broken build +straws_that_might_repair_failing_builds="$( + printf '%s\n' \ + ':' \ + ':clean_chroot:' \ + ':mirrored_source:' \ + ':with_build_support:' \ + ':with_build_support:clean_chroot:' +)" + # possibly pull in custom modifications [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" |