From 2edc9077c3687ae51f316d0860fb6bf6fe85c8dd Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Mon, 21 Oct 2024 15:06:46 -0400 Subject: [PATCH] fix --- src/gf.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/gf.c b/src/gf.c index 78be59738ea1b..285942cd157c5 100644 --- a/src/gf.c +++ b/src/gf.c @@ -2565,8 +2565,12 @@ static void record_precompile_statement(jl_method_instance_t *mi, double compila jl_printf(s_precompile, "precompile("); jl_static_show(s_precompile, mi->specTypes); jl_printf(s_precompile, ")"); - if (is_recompile) - jl_printf(s_precompile, " # recompile\e[0m"); + if (is_recompile) { + jl_printf(s_precompile, " # recompile"); + if (s_precompile == JL_STDERR && jl_options.color != JL_OPTIONS_COLOR_OFF) { + jl_printf(s_precompile, "\e[0m"); + } + } jl_printf(s_precompile, "\n"); if (s_precompile != JL_STDERR) ios_flush(&f_precompile);