Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-01-17 21:25:13 +0100
committerErich Eckner <git@eckner.net>2018-01-17 21:25:13 +0100
commit5fb9f8ad7843e087c974cc1af291b4f494824462 (patch)
tree73cdc7707602de3714c7a5cc2b6fc51642babbb6 /conf
parent041139bd471096ddc6be8c8b80c0f5619238dc7a (diff)
trigger_mirror_refreshs new to signal mirror changes and trigger updates of tier 1 mirrors
Diffstat (limited to 'conf')
-rwxr-xr-xconf/default.conf6
1 files changed, 5 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf
index 1d15660..69e15ad 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -101,9 +101,13 @@ irc_dir='/home/slave/irc/irc.freenode.net'
irc_password='top_secret'
# commands to run to update the i686 package mirror used for installing i686 packages,
-# e.g. the one from /etc/pacman.d/mirrorlist32
+# e.g. the one from /etc/pacman.d/mirrorlist32 (useful on build slaves which do not
+# have the master mirror in the mirrorlist32)
mirror_update_command=''
+# list of urls to trigger updates of the respective mirrors (used on build master only)
+mirror_refresh_trigger_urls=''
+
# possibly pull in custom modifications
# shellcheck source=/dev/null