diff options
author | Erich Eckner <git@eckner.net> | 2017-07-18 11:41:34 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-18 11:41:34 +0200 |
commit | 1038c3ce4412e0a8fd8c160afdbcdcbfd3e95f87 (patch) | |
tree | 47db5f4ba5b6c12b3ae03f575766f1c5865c44e8 /conf | |
parent | 9a551f6e6bd651e0984e2891e3de42a3ee129189 (diff) | |
download | builder-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')
-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" |