diff --git a/build-clover.xml b/build-clover.xml index 68dfc0ffe97..a13c00fc748 100644 --- a/build-clover.xml +++ b/build-clover.xml @@ -31,6 +31,7 @@ +