diff --git a/build.xml b/build.xml index ea3a55d60..a1c820856 100644 --- a/build.xml +++ b/build.xml @@ -282,7 +282,7 @@ - + @@ -688,8 +688,12 @@ unless="jakarta.oro.present" /> + + unless="some.regexp.support" /> + +