From af777dbdf6b9faccca46f160657b8cc0dc46b7d9 Mon Sep 17 00:00:00 2001 From: Tim Besard Date: Thu, 11 Jan 2024 14:42:58 +0100 Subject: [PATCH] Set ENABLE_GDBLISTENER when running under rr. --- scripts/test.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/test.jl b/scripts/test.jl index e96aa089..f5ffc26c 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)")