From 5cf51be6611dfe3230d17a58e0758df885cd5068 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Mon, 21 Oct 2024 14:49:33 -0400 Subject: [PATCH] just add # recompile in color mode too --- src/gf.c | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/src/gf.c b/src/gf.c index e77c950c38ae4..78be59738ea1b 100644 --- a/src/gf.c +++ b/src/gf.c @@ -2565,14 +2565,8 @@ 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) { - if (s_precompile == JL_STDERR && jl_options.color != JL_OPTIONS_COLOR_OFF) { - jl_printf(s_precompile, "\e[0m"); - } - else { - jl_printf(s_precompile, " # recompile"); - } - } + if (is_recompile) + jl_printf(s_precompile, " # recompile\e[0m"); jl_printf(s_precompile, "\n"); if (s_precompile != JL_STDERR) ios_flush(&f_precompile);