diff --git a/Core/build.xml b/Core/build.xml index 1e8f4370e6..14679b3002 100644 --- a/Core/build.xml +++ b/Core/build.xml @@ -203,8 +203,12 @@ + + + +