diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2017-05-18 16:08:43 +0200 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@google.com> | 2017-06-12 19:48:23 +0200 |
| commit | 4d1df73af9a6d40d3111e3f2a7dfb9f138fbde4b (patch) | |
| tree | 48e66cf8d6f91fa3bcabc60ee94ca070befef0af /repro | |
| parent | 10c9064bfc4890e5895057021280a0558131e3eb (diff) | |
csource: force enable tun flag when required
Diffstat (limited to 'repro')
| -rw-r--r-- | repro/repro.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repro/repro.go b/repro/repro.go index f4cfde322..741387af9 100644 --- a/repro/repro.go +++ b/repro/repro.go @@ -278,7 +278,7 @@ func (ctx *context) repro(entries []*prog.LogEntry, crashStart int) (*Result, er } // Try to simplify the C reproducer. - if res.Opts.EnableTun { + if res.Opts.EnableTun && !csource.RequiresTun(res.Prog) { opts = res.Opts opts.EnableTun = false crashed, err := ctx.testCProg(res.Prog, duration, opts) |