From 4d1df73af9a6d40d3111e3f2a7dfb9f138fbde4b Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Thu, 18 May 2017 16:08:43 +0200
Subject: csource: force enable tun flag when required

---
 repro/repro.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'repro')

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)
-- 
cgit mrf-deployment