From 2bcc73540cbadaae43b539567252f79dffd43f5a Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 13 Feb 2024 14:44:19 +0100
Subject: [PATCH] Don't join config file path if provided through
 `--config-file` option

---
 build_system/src/config.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build_system/src/config.rs b/build_system/src/config.rs
index 48be515a1f0f..b48e132ebd2a 100644
--- a/build_system/src/config.rs
+++ b/build_system/src/config.rs
@@ -312,7 +312,10 @@ impl ConfigInfo {
     }
 
     pub fn setup_gcc_path(&mut self) -> Result<(), String> {
-        let config_file = self.compute_path(self.config_file.as_deref().unwrap_or("config.toml"));
+        let config_file = match self.config_file.as_deref() {
+            Some(config_file) => config_file.into(),
+            None => self.compute_path("config.toml"),
+        };
         let ConfigFile {
             gcc_path,
             download_gccjit,