From a12e99e74dfc7cbe54720d8383cec46aaf024a28 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Fri, 17 May 2024 12:48:07 +0200 Subject: pkg/csource: remove the Repro option Enable it unconditionally. --- pkg/csource/csource.go | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'pkg/csource/csource.go') diff --git a/pkg/csource/csource.go b/pkg/csource/csource.go index 3d019a59c..1f338b893 100644 --- a/pkg/csource/csource.go +++ b/pkg/csource/csource.go @@ -188,9 +188,7 @@ func (ctx *context) generateSyscalls(calls []string, hasVars bool) string { if len(calls) > 0 && (hasVars || opts.Trace) { fmt.Fprintf(buf, "\tintptr_t res = 0;\n") } - if opts.Repro { - fmt.Fprintf(buf, "\tif (write(1, \"executing program\\n\", sizeof(\"executing program\\n\") - 1)) {}\n") - } + fmt.Fprintf(buf, "\tif (write(1, \"executing program\\n\", sizeof(\"executing program\\n\") - 1)) {}\n") if opts.Trace { fmt.Fprintf(buf, "\tfprintf(stderr, \"### start\\n\");\n") } -- cgit mrf-deployment