diff --git a/user/build.xml b/user/build.xml index df5fc64d07..3153cc893c 100755 --- a/user/build.xml +++ b/user/build.xml @@ -1,7 +1,7 @@ <project name="user" default="build" basedir="."> <property name="gwt.root" location=".."/> <property name="project.tail" value="user"/> - <property name="test.args" value="-ea"/> + <property name="test.args" value="-ea -sourceLevel auto"/> <property name="test.jvmargs" value="-ea"/> <!-- support old variables names -->