logo separator

Build mkgmap/mkgmap #1239

Commit: 4857 by gerd
Branch: mdr2
Time: 10 Jan 2022, 9:07 a.m.
Passed
Total time: 2 min 55 sec

Use highest possible offset in Mdr15.getSizeForRecord() instead of uncompressed file size. If compression is used this can save more bytes in those sections which have indexes into MDR15. Thanks to Ticker Berkin for the hint!

  • java=jdk8, python=default
    Passed
    1 min 13 sec
  • java=openjdk8, python=default
    Passed
    48 sec
  • java=openjdk11, python=default
    Passed
    52 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...