diff options
| -rwxr-xr-x | deploy_everywhere | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index 9f8742cb..b7930a4b 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -80,6 +80,7 @@ elif [ "$1" = "only" ] || [ "$1" = "jenkins" ] ; then 4|pb4) HOSTS="$HOSTS profitbricks-build4-amd64.debian.net" ;; 5|pb5) HOSTS="$HOSTS profitbricks-build5-amd64.debian.net" ;; 6|pb6) HOSTS="$HOSTS profitbricks-build6-i386.debian.net" ;; + 7|pb7) HOSTS="$HOSTS profitbricks-build7-amd64.debian.net" ;; 9|pb9) HOSTS="$HOSTS profitbricks-build9-amd64.debian.net" ;; 10|pb10) HOSTS="$HOSTS profitbricks-build10-amd64.debian.net" ;; esac |