diff options
-rw-r--r-- | hudson.xml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/hudson.xml b/hudson.xml deleted file mode 100644 index 7acb6cda23..0000000000 --- a/hudson.xml +++ /dev/null @@ -1,25 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!-- $Id: $ --> - -<project name="hudson" default="test_pos"> - - <target name="build"> - <ant - antfile="build.xml" - target="build" - /> - </target> - - <target name="test_pos" depends="build"> - <exec executable="test/scalatest" vmlauncher="no"> - <arg line="--quick --pos"/> - </exec> - </target> - - <target name="test_neg" depends="build"> - <exec executable="test/scalatest" vmlauncher="no"> - <arg line="--quick --neg"/> - </exec> - </target> - -</project> |