| commit | 783d167c8c680e3d6f6b1d3b42cefd408d1ba72c | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Thu Jun 06 13:35:30 2019 +0200 |
| committer | Philipp Wollermann <philwo@google.com> | Thu Jun 06 13:35:30 2019 +0200 |
| tree | 635c7375280bebc7c99ddf201e9648adea030e0d | |
| parent | 0dc004787c0c554cebf98a80f114791b7f493a57 [diff] |
Allow a platform to generate binaries for multiple names platforms. This is used to let the ubuntu1604 platform generate the binary for the generic "linux" platform, for example.