diff --git a/build.xml b/build.xml index 5a45679ceb..0855255486 100644 --- a/build.xml +++ b/build.xml @@ -470,7 +470,11 @@ - + diff --git a/contrib/platform/build.xml b/contrib/platform/build.xml index 47fa8ed330..cdbf8db165 100644 --- a/contrib/platform/build.xml +++ b/contrib/platform/build.xml @@ -147,20 +147,20 @@