From d5f32ed8e14d0f5256f17b00dcf4e18f454972ee Mon Sep 17 00:00:00 2001 From: Steffen Lange Date: Thu, 19 Jun 2025 17:44:35 +0200 Subject: [PATCH] Add GCC 15 --- modules/GCC15.php | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 modules/GCC15.php diff --git a/modules/GCC15.php b/modules/GCC15.php new file mode 100644 index 0000000..54a8c52 --- /dev/null +++ b/modules/GCC15.php @@ -0,0 +1,15 @@ +patch->setBranch('15'); + } + function check() : bool { + if ($this->fetch('https://gcc.gnu.org/')) + return $this->parse('/GCC ([\d\.]+)/'); + return false; + } +} + +?>