diff --git a/tools/build.xml b/tools/build.xml index 72bcb00759..40c51295cd 100644 --- a/tools/build.xml +++ b/tools/build.xml @@ -325,6 +325,9 @@ + + +