Build mkgmap/mkgmap #610
Commit: 4252 by gerd
Branch: trunk
Time: 14 Nov 2018, 3:09 p.m.
Branch: trunk
Time: 14 Nov 2018, 3:09 p.m.
Failed
Total time: 1 min 48 sec
Total time: 1 min 48 sec
-
java=jdk8, python=defaultFailed1 min 11 sec
-
java=openjdk8, python=defaultFailed36 sec