diff --git a/utils_dev/build.xml b/utils_dev/build.xml index 3c1b3c07f7..6b1e2b66a4 100644 --- a/utils_dev/build.xml +++ b/utils_dev/build.xml @@ -28,10 +28,12 @@ + + @@ -48,6 +50,7 @@ +