Build mkgmap/splitter #17
Commit: 442 by gerd
Branch: trunk
Time: 22 Nov 2016, 10:56 a.m.
Branch: trunk
Time: 22 Nov 2016, 10:56 a.m.
Passed
Total time: 1 min 26 sec
Total time: 1 min 26 sec
-
java=jdk8, python=defaultPassed46 sec
-
java=openjdk8, python=defaultPassed39 sec