diff --git a/build.xml b/build.xml index 02d0a1dd0..aa28941ec 100644 --- a/build.xml +++ b/build.xml @@ -109,11 +109,11 @@ + executable="make"> + executable="make"> + executable="make">