diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-17 19:11:57 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-17 19:11:57 +0100 |
| commit | 833f78c7b023badf3ac188005adaf5fb1a20f56e (patch) | |
| tree | ba033e9e93c7da17160ee1160feeac10b70a1e1e /prog/prog_test.go | |
| parent | 9df1a36a98aaf167993501c32ff7a10a38913f50 (diff) | |
executor: fix build
Older versions of linux require an additional header.
Diffstat (limited to 'prog/prog_test.go')
0 files changed, 0 insertions, 0 deletions