diff --git a/build/build.xml b/build/build.xml index a1d329f3cb..8ce61e9374 100644 --- a/build/build.xml +++ b/build/build.xml @@ -11,8 +11,7 @@ - - + @@ -43,9 +42,15 @@ - - + + @@ -122,7 +127,7 @@ - + @@ -162,9 +167,27 @@ command="git archive ${revision} | tar -xf - -C ../${dir}" checkreturn="true" /> - + + + + + + + + + + @@ -187,6 +210,7 @@ +