Remove redundant BuildTools runs

This commit is contained in:
md678685 2018-12-31 14:54:59 +00:00 committed by GitHub
parent 246fd03265
commit f436fbab6b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,7 +17,4 @@ before_install:
- rm -r work/
- java -jar BuildTools.jar --rev 1.8
- java -jar BuildTools.jar --rev 1.8.3
- java -jar BuildTools.jar --rev 1.9
- java -jar BuildTools.jar --rev 1.9.4
- java -jar BuildTools.jar --rev 1.13.1
- cd ..