diff --git a/dev-tools/integration-tests.xml b/dev-tools/integration-tests.xml index 2d4556d084e..1a35a802fcf 100644 --- a/dev-tools/integration-tests.xml +++ b/dev-tools/integration-tests.xml @@ -37,7 +37,7 @@ args="${integ.args} -Des.path.repo=${integ.repo.home}"/> -