mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
7670f048c1
The timestamp-based rules of make do not work well for the publish tool because depot archives are often re-created with the same content but a different modification time, in particular when creating archives via 'FORCE'. This way, those archives are re-published every time, which becomes a time-consuming operation since all archives must be signed. This patch filters the targets based on the content that is already present in the public/ location. All existing archives are skipped. |
||
|---|---|---|
| .. | ||
| mk | ||
| build | ||
| create | ||
| dependencies | ||
| download | ||
| extract | ||
| publish | ||