diff --git a/tools/build.xml b/tools/build.xml index 08687ec743..bd7eeeb4e7 100644 --- a/tools/build.xml +++ b/tools/build.xml @@ -225,7 +225,9 @@ - + + + @@ -279,6 +281,9 @@ + + +