Apparently, ant-get's dest may not be a directory when getting a single
file? Documentation doesn't really say so :-/
diff --git a/releng/build-scripts/build/test.xml b/releng/build-scripts/build/test.xml
index 45d9a4e..22a6c32 100644
--- a/releng/build-scripts/build/test.xml
+++ b/releng/build-scripts/build/test.xml
@@ -50,7 +50,7 @@
<echo message="get library.xml"/>
<get src="http://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/plain/eclipse.platform.releng.tychoeclipsebuilder/eclipse-junit-tests/src/main/scripts/library.xml"
- dest="${test.root.dir}"/>
+ dest="${test.root.dir}/library.xml"/>
<property name="tests.are.setup" value="true"/>
</target>