diff options
| -rw-r--r-- | build_system/src/config.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_system/src/config.rs b/build_system/src/config.rs index b61c65f7b02..1824bdd292f 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 |