Ignore:
Timestamp:
2016-06-16T15:25:29+02:00 (8 years ago)
Author:
floscher
Message:

Update several tools to their latest version

These are:

  • Java now uses source compatibility of 1.8 instead of 1.7 for compiling
  • Gradle 2.14
  • PMD 5.4.2
  • JaCoCo 0.7.7
File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/mapillary/gradlew.bat

    r32062 r32285  
    99if "%OS%"=="Windows_NT" setlocal
    1010
    11 @rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
    12 set DEFAULT_JVM_OPTS=
    13 
    1411set DIRNAME=%~dp0
    1512if "%DIRNAME%" == "" set DIRNAME=.
    1613set APP_BASE_NAME=%~n0
    1714set APP_HOME=%DIRNAME%
     15
     16@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
     17set DEFAULT_JVM_OPTS=
    1818
    1919@rem Find java.exe
Note: See TracChangeset for help on using the changeset viewer.