From d99e5b3af68d55bbd1622949ef5f93b250ebd6a9 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Tue, 5 Dec 2023 19:48:59 +0100
Subject: Fix target for mig cross-builds
---
microkernel/mach/mig/gnu_mig/building.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'microkernel')
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index e14c8fb0..38788375 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -87,7 +87,7 @@ configure:
If you are building on a 64 bit machine, you need to add a --host option:
$ GNU=~/gnu
- $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --host=i686-unknown-linux-gnu
+ $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --host=i686-linux-gnu
Build and install the Mach Interface Generator into _$GNU_ (i.e. _~/gnu/_ in our example):
--
cgit v1.2.3