diff --git a/Tools/build.xml b/Tools/build.xml index 38149c38e7..2188431a9f 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -58,6 +58,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. rewritePrefix="file:/]]>${env.WORKSPACE} ]]> +