Fix generation numbers for autonav hvy-plastic hvy-plastic-1.5
authorMarkus Armbruster <armbru@pond.sub.org>
Fri, 24 Apr 2009 21:52:00 +0000 (23:52 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Fri, 24 Apr 2009 21:52:00 +0000 (23:52 +0200)
commit9731e6692a1d326dcfe4b68daf82cd1572b62aad
tree2aafaf518d4c0e59306f6bc743be5161d6c2ab4d
parentbdcd59155a9a27dfe40d271dc1d16ff9d1c26e9d
Fix generation numbers for autonav

nav_ship() makes copies without going through ef_read(), and therefore
needs to mark them fresh by hand.
src/lib/update/nav_ship.c