From a1629a29a913bc484dc24ae09cb1dbc2a9ce4bb5 Mon Sep 17 00:00:00 2001 From: Rhys Smith Date: Fri, 10 Mar 2017 10:12:03 +0000 Subject: [PATCH] Add new md dist servers into build scripting --- build.xml | 108 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 108 insertions(+) diff --git a/build.xml b/build.xml index 05b47510..0d248f6b 100644 --- a/build.xml +++ b/build.xml @@ -148,6 +148,10 @@ + + + + @@ -1317,6 +1321,70 @@ + Verifying metadata held at ${md.dist.host-ne-01.name} + + + + + + + + + Verifying metadata held at ${md.dist.host-ne-02.name} + + + + + + + + + Verifying metadata held at ${md.dist.host-we-01.name} + + + + + + + + + Verifying metadata held at ${md.dist.host-we-02.name} + + + + + + + + Verification completed. @@ -2058,6 +2126,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -2083,6 +2171,26 @@ + + + + + + + + + + + + + + + + + + + +