diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-17 10:29:24 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-17 10:29:24 +0100 |
| commit | c11dca46ced3086a7cdb07272ae60868aec95186 (patch) | |
| tree | 81c0db07e996df48294b7d770a59f2cc946eb790 /conf | |
| parent | 6cb3a734c4a44bf183bbb7b1e16fc496b08efa1d (diff) | |
| download | builder-c11dca46ced3086a7cdb07272ae60868aec95186.tar.xz | |
bin/build-packages: trigger update of upstream i686 package mirror if necessary
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index a73c3db..1d15660 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -100,6 +100,10 @@ staging_package_repositories=$( 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 +mirror_update_command='' + # possibly pull in custom modifications # shellcheck source=/dev/null |