mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
This patch handles version collisions of binary archives. If a binary archive for an (automatically) updated src-archive version already exists in the depot, the extract tool removes the binary archive because its existing content may stem from another src content (a version from a different topic branch). This ensures that the new version is always built, not skipped, when 'UPDATE_VERSIONS=1 REBUILD=' is specified. Fixes #3267