logo separator

Build mkgmap/mkgmap #1240

Commit: 4858 by gerd
Branch: mdr2
Time: 10 Jan 2022, 9:53 a.m.
Passed
Total time: 2 min 57 sec

optimization for gmapsupp index calculation: - avoid redundant I/O, don't fill "strings" temp file (it was not created in the output directory, probably unintended) - don't fill string table, neither the table nor the offset is ever used with the gmapsupp index

  • java=jdk8, python=default
    Passed
    1 min 21 sec
  • java=openjdk8, python=default
    Passed
    45 sec
  • java=openjdk11, python=default
    Passed
    50 sec

Latest commits

  • splitter-r654 - add note that splitter doesn't handle holes in *.poly files.
    05 apr 2024
  • mkgmap-r4919 Avoid possible integer overflow in blocksize calculation when gmapsupp contains large number of tiles.
    04 apr 2024
  • mkgmap-r4918 add surface=chipseal to group of surfaces which means paved.
    06 mar 2024
  • mkgmap-r4917 fix typos in documentation: $LONG_DATE$ -> $LONGDATE$, $SHORT_DATE$ -> $SHORTDATE$.
    18 feb 2024
  • mkgmap-r4916 sortResource_v3.patch (with updated date in comment) by Ticker Berkin.
    13 oct 2023
See more...