Merge branch 'dev' into dev
authorWillem Visser <willem@gmail.com>
Wed, 18 Apr 2018 07:10:24 +0000 (09:10 +0200)
committerGitHub <noreply@github.com>
Wed, 18 Apr 2018 07:10:24 +0000 (09:10 +0200)
1  2 
.travis.yml

diff --cc .travis.yml
@@@ -4,14 -5,7 +4,14 @@@ before_install
    - ln -s /usr/share/java/junit4.jar ~/junit
    - ln -s /usr/share/java/hamcrest-core.jar ~/junit
    - export JUNIT_HOME=~/junit
 +
  install: ant test
 +
  jdk:
    - oraclejdk8
 -  - openjdk8
 +
 +addons:
 +  apt:
 +    packages:
 +      - oracle-java8-installer
-       - junit4
++      - junit4