diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-12-05 19:48:59 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-12-05 19:48:59 +0100 |
commit | d99e5b3af68d55bbd1622949ef5f93b250ebd6a9 (patch) | |
tree | 17ccc50eaae4055dbabaf286aaab1fe191e2bd6f /microkernel/mach | |
parent | 9c714507da9ea3a648b16de01485ee8df147c488 (diff) |
Fix target for mig cross-builds
Diffstat (limited to 'microkernel/mach')
-rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 2 |
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): |