diff options
| author | Adin Scannell <ascannell@google.com> | 2020-01-23 10:43:59 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-01-23 10:45:48 -0800 |
| commit | 04e3d56db1d8dee9f4fae51718dbef33559c4101 (patch) | |
| tree | 30159a383ffe0c9f3494198afaa9f1e95a5740d5 /pkg/sentry/platform | |
| parent | 896bd654b6622d20cbaf8e82b4554a5375addf81 (diff) | |
Fix master build case.
Otherwise, this will be built when building a specific
release tag (typically in the past), causing the master
binary to be overwritten with something older.
We can generally assume that tags will be applied after
the commit has been integrated, and therefore that any
builds pointing to tags will use only the tags.
Another way to fix this would be to introduce something
akin to the KOKORO_BUILD_NIGHTLY environment variable,
but it doesn't seem strictly necessary.
PiperOrigin-RevId: 291198171
Diffstat (limited to 'pkg/sentry/platform')
0 files changed, 0 insertions, 0 deletions