From f516c9681133788c6ff20932e443226ffef98d5c Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 19 Dec 2023 01:07:01 +0100
Subject: [PATCH] Add comment about why `-Cpanic=abort` option is needed

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

diff --git a/build_system/src/config.rs b/build_system/src/config.rs
index b61c65f7b022..1824bdd292ff 100644
--- a/build_system/src/config.rs
+++ b/build_system/src/config.rs
@@ -165,6 +165,8 @@ impl ConfigInfo {
                 }
                 _ => {}
             }
+            // This should not be needed, but is necessary for the CI in the rust repository.
+            // FIXME: Remove when the rust CI switches to the master version of libgccjit.
             rustflags.push("-Cpanic=abort".to_string());
         } else {
             self.cg_backend_path = current_dir