diff --git a/build/build.xml b/build/build.xml index fec10a1a74e..6681116de0d 100644 --- a/build/build.xml +++ b/build/build.xml @@ -123,6 +123,12 @@ + + + + + +