diff --git a/build.xml b/build.xml index eff834f884..731b2f9207 100644 --- a/build.xml +++ b/build.xml @@ -38,7 +38,7 @@ @@ -47,6 +47,7 @@ '; } else { echo '