Set ENABLE_GDBLISTENER when running under rr. (#255)

JuliaCI · Jan 11, 2024 · c2b73fd · c2b73fd
1 parent b2fc83a
commit c2b73fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)")