From ee0200ef35f086dcb6862deae831053e6f79ca3a Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Thu, 5 Oct 2017 10:58:12 -0700 Subject: reproducible debian: Rename armhf host odxu4 to odxu4a. Signed-off-by: Mattia Rizzolo --- deploy_jdn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'deploy_jdn') diff --git a/deploy_jdn b/deploy_jdn index da71806a..beb8c178 100755 --- a/deploy_jdn +++ b/deploy_jdn @@ -67,7 +67,7 @@ jtx1a-armhf-rb.debian.net jtx1b-armhf-rb.debian.net jtx1c-armhf-rb.debian.net odu3a-armhf-rb.debian.net -odxu4-armhf-rb.debian.net +odxu4a-armhf-rb.debian.net odxu4b-armhf-rb.debian.net odxu4c-armhf-rb.debian.net opi2a-armhf-rb.debian.net -- cgit v1.2.3-54-g00ecf