diff --git a/Tools/build.xml b/Tools/build.xml index 06cc9211d7..ea6a2501d3 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -75,8 +75,24 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. rewritePrefix="file:/]]>${env.WORKSPACE} ]]> - - + + + + + + + + + + + + + + + + + +