From 66952350f7ebddd2107d3217e1678f165165b683 Mon Sep 17 00:00:00 2001 From: Eirik Narjord Date: Sun, 8 Sep 2024 12:58:58 -0400 Subject: [PATCH] always recompile rust if needed --- src/main.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/main.py b/src/main.py index 3e5e2eeff..84bb62b06 100644 --- a/src/main.py +++ b/src/main.py @@ -87,14 +87,11 @@ def recompile_rust(): def manage_rust_compilation(): if check_compilation_needed(): - if prompt_user_for_recompilation(): - if recompile_rust(): - print("Rust extension successfully recompiled.") - else: - print("Failed to recompile Rust extension. Please compile manually.") - sys.exit(1) + if recompile_rust(): + print("Rust extension successfully recompiled.") else: - print("Compilation skipped. Note that the Rust extension might be outdated.") + print("Failed to recompile Rust extension. Please compile manually.") + sys.exit(1) else: print("Rust extension is up to date.")