Split tasks so that Coverity would only compile.

.travis.yml

@@ -2,8 +2,6 @@ sudo: required
 language: java
 jdk:
 - oraclejdk8
-before_install:
-- git submodule update --init --recursive
 script: ant dist
 env:
   global:
@@ -14,7 +12,7 @@ addons:
       name: martinpaljak/GlobalPlatformPro
       description: GlobalPlatformPro from javacard.pro
     notification_email: martin@martinpaljak.net
-    build_command_prepend: 
+    build_command_prepend: ant fetch
     build_command: ant compile
     branch_pattern: coverity
 

build.xml

@@ -37,15 +37,16 @@
     <pathelement location="lib/bcprov-jdk15on-154.jar"/>
     <pathelement location="lib/slf4j-api-1.7.13.jar"/>
   </path>
-  <target name="compile" description="compile the source" depends="fetch">
+  <target name="make" depends="fetch,compile"/>
+  <target name="compile" description="compile the source">
     <mkdir dir="build"/>
     <javac srcdir="src" destdir="build" includeantruntime="false" excludes="**/tests/**" debug="true" debuglevel="lines,vars,source">
       <compilerarg value="-Xlint"/>
       <classpath refid="build.classpath"/>
     </javac>
   </target>
   <!-- Package it into a nice little JAR -->
-  <target name="dist" depends="compile" description="generate the distribution">
+  <target name="dist" depends="make" description="generate the distribution">
     <exec command="git describe --always --tags" output="version.txt"/>
     <java classname="proguard.ProGuard" fork="true" failonerror="true">
       <arg line="@globalplatform.pro"/>