Build mkgmap/mkgmap #730
Commit: 4366 by gerd
Branch: trunk
Time: 13 Nov 2019, 8:51 a.m.
Passed
Total time: 4 min 54 sec
Fix possible error message "internal error, house has wrong segment"
Problem was introduced in the NET-no-NOD branch. The method ExtNumbers.increaseNodeIndexes() is called when a number node was added. The method increases indexes in two steps. Since r4342 it was possible that a plausibility check was performed between step 1 and 2 in method ExtNumbers.hasNumbers(). The call was only done to improve performance, so I just removed it.
The produced maps are not changed.
lesson learned: Refactor ExtNumbers, this is far too complex.
-
java=jdk8, python=default
Passed
2 min 6 sec
-
java=openjdk8, python=default
Passed
1 min 21 sec
-
java=openjdk11, python=default
Passed
1 min 26 sec