summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-12-05 19:48:59 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-12-05 19:48:59 +0100
commitd99e5b3af68d55bbd1622949ef5f93b250ebd6a9 (patch)
tree17ccc50eaae4055dbabaf286aaab1fe191e2bd6f /microkernel/mach
parent9c714507da9ea3a648b16de01485ee8df147c488 (diff)
Fix target for mig cross-builds
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn2
1 files changed, 1 insertions, 1 deletions
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):