The main/official Gloire distro of the Ironclad kernel project has
moved to using glibc as its C library instead of mlibc, therefore,
default to that.
From 39dda8cd42379ca874c7e76ec1b5e13fcf8f1d50 Mon Sep 17 00:00:00 2001
From: Mintsuki <[email protected]>
Date: Sun, 17 May 2026 12:57:28 +0200
Subject: [PATCH] ironclad: Change *-ironclad-mlibc to *-ironclad-gnu
The main/official Gloire distro of the Ironclad kernel project has
moved to using glibc as its C library instead of mlibc, therefore,
default to that.
---
config.guess | 4 ++--
config.sub | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/config.guess b/config.guess
index a9d01fd..0674bc0 100755
--- a/config.guess
+++ b/config.guess
@@ -1598,10 +1598,10 @@ EOF
GUESS=$UNAME_MACHINE-unknown-unleashed$UNAME_RELEASE
;;
x86_64:[Ii]ronclad:*:*|i?86:[Ii]ronclad:*:*)
- GUESS=$UNAME_MACHINE-pc-ironclad-mlibc
+ GUESS=$UNAME_MACHINE-pc-ironclad-gnu
;;
*:[Ii]ronclad:*:*)
- GUESS=$UNAME_MACHINE-unknown-ironclad-mlibc
+ GUESS=$UNAME_MACHINE-unknown-ironclad-gnu
;;
esac
diff --git a/config.sub b/config.sub
index 3d35cde..918625f 100755
--- a/config.sub
+++ b/config.sub
@@ -1525,7 +1525,7 @@ EOF
;;
ironclad*)
kernel=ironclad
- os=`echo "$basic_os" | sed -e 's|ironclad|mlibc|'`
+ os=`echo "$basic_os" | sed -e 's|ironclad|gnu|'`
;;
linux*)
kernel=linux
@@ -2220,7 +2220,7 @@ case $kernel-$os-$obj in
;;
uclinux-uclibc*- | uclinux-gnu*- )
;;
- ironclad-mlibc*-)
+ ironclad-gnu*-)
;;
managarm-mlibc*- | managarm-kernel*- )
;;
--
2.54.0
