diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-11-05 19:56:56 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-05 19:56:56 +0100 |
commit | ed35299cca23b8019f3dc8a5b97051d2e70d5257 (patch) | |
tree | 6c9f90fd00203d0036bfc7179806e750a0aef742 /deploy_everywhere | |
parent | b0630d2221a60aa7e9cda8fc4ccf5f7cbb6d4614 (diff) | |
download | jenkins.debian.net-ed35299cca23b8019f3dc8a5b97051d2e70d5257.tar.xz |
reproducible Debian: add code to deal with pb15+16 running in the future
Diffstat (limited to 'deploy_everywhere')
-rwxr-xr-x | deploy_everywhere | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index 6a7ba349..9c3bee89 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -132,7 +132,7 @@ for i in $HOSTS ; do command="$real_command" if $reset_clock ; then case $i in - profitbricks-build4-amd64*|profitbricks-build5-amd64*|profitbricks-build6-i386*) + profitbricks-build4-amd64*|profitbricks-build5-amd64*|profitbricks-build6-i386*|profitbricks-build15-amd64*|profitbricks-build16-i386*) # set correct date command="sudo ntpdate -b de.pool.ntp.org && $real_command && sudo date --set=\"+398 days +6 hours + 23 minutes\" && echo '__$(echo $i|cut -d '.' -f1)=ok__'" ;; |