From 4c452857e88549008b5ae720b358339a114f86a8 Mon Sep 17 00:00:00 2001
From: Jakub Beránek <berykubik@gmail.com>
Date: Wed, 26 Feb 2025 11:59:00 +0100
Subject: Add `dist:Gcc` build step

To distribute the prebuilt libgccjit.so from CI.
---
 src/tools/opt-dist/src/main.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/tools')

diff --git a/src/tools/opt-dist/src/main.rs b/src/tools/opt-dist/src/main.rs
index 565721a9093..3111149f2ae 100644
--- a/src/tools/opt-dist/src/main.rs
+++ b/src/tools/opt-dist/src/main.rs
@@ -389,6 +389,7 @@ fn main() -> anyhow::Result<()> {
             "clippy",
             "miri",
             "rustfmt",
+            "gcc",
         ] {
             build_args.extend(["--skip".to_string(), target.to_string()]);
         }
-- 
cgit 1.4.1-3-g733a5