diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-11-19 11:14:11 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-11-19 11:14:11 +0100 |
| commit | c9ae0f69d87e64cd7d1839164cee172b27657b11 (patch) | |
| tree | 5635ba71b0f51ad9487971b33e94a797aa994694 /csource | |
| parent | 59f7c210d0584164a821bde6686debe169660f30 (diff) | |
vm: add ability to interrupt commands
This is required for crash reproduction in manager.
Diffstat (limited to 'csource')
| -rw-r--r-- | csource/common.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/csource/common.go b/csource/common.go index f935c8fbf..40f5b7ae9 100644 --- a/csource/common.go +++ b/csource/common.go @@ -1,5 +1,6 @@ // AUTOGENERATED FROM executor/common.h package csource + var commonHeader = ` #include <dirent.h> |