reproducible Debian: fixup hostnames

Signed-off-by: Holger Levsen <holger@layer-acht.org>

1 files changed, 1 insertions, 1 deletions

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__'"
 				;;