Roll back noverify, we don't need it with the current build setup

niloc132 · Jan 12, 2024 · 230b839 · 230b839
1 parent 71e8b7d
commit 230b839
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/user/build.xml b/user/build.xml
@@ -2,7 +2,7 @@
   <property name="gwt.root" location=".."/>
   <property name="project.tail" value="user"/>
   <property name="test.args" value="-ea -sourceLevel auto"/>
-  <property name="test.jvmargs" value="-ea -noverify"/>
+  <property name="test.jvmargs" value="-ea"/>
 
   <!-- support old variables names -->
   <condition property="gwt.hosts.web.selenium" value="${gwt.selenium.hosts}">