From 992fc8d8dbda0532293900b0bf9a8974d8fdcc21 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 26 Dec 2016 14:25:36 +0100 Subject: reproducible Debian: fixup hostnames Signed-off-by: Holger Levsen --- deploy_jdn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'deploy_jdn') diff --git a/deploy_jdn b/deploy_jdn index f12bbaf6..4646ac05 100755 --- a/deploy_jdn +++ b/deploy_jdn @@ -172,7 +172,7 @@ for i in $HOSTS ; do # set correct future 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__'" ;; - codethink9*|codethink11*|codethink13*|codethink15*) + codethink-sled9*|codethink-sled11*|codethink-sled13*|codethink-sled15*) # set correct future 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__'" ;; -- cgit v1.2.3-54-g00ecf