diff --git a/build.xml b/build.xml index 4a23e76b2..8f5733a2c 100644 --- a/build.xml +++ b/build.xml @@ -1344,6 +1344,13 @@ cd .. + + + /* Intentionally left empty */