From a12e99e74dfc7cbe54720d8383cec46aaf024a28 Mon Sep 17 00:00:00 2001
From: Aleksandr Nogikh <nogikh@google.com>
Date: Fri, 17 May 2024 12:48:07 +0200
Subject: pkg/csource: remove the Repro option

Enable it unconditionally.
---
 pkg/csource/common.go | 1 -
 1 file changed, 1 deletion(-)

(limited to 'pkg/csource/common.go')

diff --git a/pkg/csource/common.go b/pkg/csource/common.go
index 600ac43b6..109863418 100644
--- a/pkg/csource/common.go
+++ b/pkg/csource/common.go
@@ -123,7 +123,6 @@ func commonDefines(p *prog.Prog, opts Options) map[string]bool {
 		"SYZ_VHCI_INJECTION":            opts.VhciInjection,
 		"SYZ_USE_TMP_DIR":               opts.UseTmpDir,
 		"SYZ_HANDLE_SEGV":               opts.HandleSegv,
-		"SYZ_REPRO":                     opts.Repro,
 		"SYZ_TRACE":                     opts.Trace,
 		"SYZ_WIFI":                      opts.Wifi,
 		"SYZ_802154":                    opts.IEEE802154,
-- 
cgit mrf-deployment