diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-24 19:28:36 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-27 17:08:43 +0100 |
| commit | 08146b1a84f975e2cc1007242b4202dc5cc0e5c5 (patch) | |
| tree | ad9f57cfbed4b9008223359d0f765a2b6a27a209 /pkg/repro | |
| parent | 5d7477249ba074bbdc9ffbf80314397dbe90e886 (diff) | |
sys/linux: extend netfilter descriptions
Diffstat (limited to 'pkg/repro')
| -rw-r--r-- | pkg/repro/repro.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/repro/repro.go b/pkg/repro/repro.go index 29ede6fd4..bbe0e2d7c 100644 --- a/pkg/repro/repro.go +++ b/pkg/repro/repro.go @@ -789,6 +789,7 @@ var progSimplifies = []Simplify{ return false } opts.Repeat = false + opts.WaitRepeat = false opts.Procs = 1 return true }, |