Build mkgmap/splitter #18
Commit: 443 by gerd
Branch: trunk
Time: 24 Nov 2016, 9:09 a.m.
Branch: trunk
Time: 24 Nov 2016, 9:09 a.m.
Passed
Total time: 1 min 21 sec
Total time: 1 min 21 sec
-
java=jdk8, python=defaultPassed38 sec
-
java=openjdk8, python=defaultPassed42 sec