diff --git a/tools/build.xml b/tools/build.xml index d20cabd883..8f0942a84d 100644 --- a/tools/build.xml +++ b/tools/build.xml @@ -195,35 +195,42 @@ - + - + - + - + - + - + - + - + - + + + + + + + + @@ -253,64 +260,71 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + + + + + + + +