diff --git a/build/build.xml b/build/build.xml index 0bd5ccd9e..3ad5e518b 100644 --- a/build/build.xml +++ b/build/build.xml @@ -75,26 +75,27 @@ - - - - + + + - @@ -667,22 +668,22 @@ Unix systems, we need to use instead --> - + - + - + - +