diff --git a/build.xml b/build.xml index ed9c1a2e7f..6bef406c74 100644 --- a/build.xml +++ b/build.xml @@ -1269,6 +1269,7 @@ +