diff --git a/build.xml b/build.xml index a7c64ef4ba..c2fc230d8f 100644 --- a/build.xml +++ b/build.xml @@ -107,7 +107,7 @@ - + @@ -115,6 +115,12 @@ + + + + + +