always recompile rust if needed

enarjord · Sep 8, 2024 · 6695235 · 6695235
1 parent e036de7
commit 6695235
Showing 1 changed file with 4 additions and 7 deletions.
diff --git 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.")