Build mkgmap/mkgmap #578
Commit: 4221 by gerd
Branch: trunk
Time: 9 Aug 2018, 2:17 p.m.
Branch: trunk
Time: 9 Aug 2018, 2:17 p.m.
Passed
Total time: 4 min 56 sec
Total time: 4 min 56 sec
-
java=jdk8, python=defaultPassed3 min 2 sec
-
java=openjdk8, python=defaultPassed1 min 52 sec