diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2019-06-11 13:55:17 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-06-11 13:56:32 -0700 |
| commit | a775ae82fed4f703db28edc3d9d58b5652d6979d (patch) | |
| tree | 9419546137544bfd0bbec60938b412b18e8a13d1 /pkg/sentry/fs/g3doc | |
| parent | 307a9854edd4a1257b0393d39d8b4fca7b4223e4 (diff) | |
Fix broken pipe error building version file
(11:34:09) ERROR: /tmpfs/src/github/repo/runsc/BUILD:82:1: Couldn't build file runsc/version.txt: Executing genrule //runsc:deb-version failed (Broken pipe): bash failed: error executing command
PiperOrigin-RevId: 252691902
Diffstat (limited to 'pkg/sentry/fs/g3doc')
0 files changed, 0 insertions, 0 deletions