summaryrefslogtreecommitdiff
path: root/conf/default.conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-07-18 11:41:34 +0200
committerErich Eckner <git@eckner.net>2017-07-18 11:41:34 +0200
commit1038c3ce4412e0a8fd8c160afdbcdcbfd3e95f87 (patch)
tree47db5f4ba5b6c12b3ae03f575766f1c5865c44e8 /conf/default.conf
parent9a551f6e6bd651e0984e2891e3de42a3ee129189 (diff)
downloadbuilder-1038c3ce4412e0a8fd8c160afdbcdcbfd3e95f87.tar.xz
bin/build-packages: refer to $straws_that_might_repair_failing_builds about how to try to repair failing builds
Diffstat (limited to 'conf/default.conf')
-rwxr-xr-xconf/default.conf10
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"