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);