From c2b73fd7a176dc64eec1d6a4d29ac88df74c3ea6 Mon Sep 17 00:00:00 2001 From: Tim Besard Date: Thu, 11 Jan 2024 15:25:02 +0100 Subject: [PATCH] Set ENABLE_GDBLISTENER when running under rr. (#255) --- scripts/test.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/test.jl b/scripts/test.jl index ce1f2918..a6ac692d 100644 --- a/scripts/test.jl +++ b/scripts/test.jl @@ -33,6 +33,7 @@ if config.rr == RREnabled # this code is essentially what --bug-report from InteractiveUtils does println(io, "using BugReporting") + println(io, "ENV[\"ENABLE_GDBLISTENER\"] = \"1\"") println(io, "println(\"Switching execution to under rr\")") println(io, "BugReporting.make_interactive_report(\"rr-local\", ARGS)") println(io, "exit(0)")