diff options
author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 08:50:52 -0400 |
---|---|---|
committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 08:50:52 -0400 |
commit | 2dbac97ca00a3ea201c4a1a2b2d7a7be0b2e05b0 (patch) | |
tree | b0f1b258795bdf3aa0c5e05278ca949d9be0d965 /microkernel/mach/gnumach | |
parent | 0fd892609af34d295114d810a55759291b74157f (diff) |
Separate 32 and 64 bit instructions
Diffstat (limited to 'microkernel/mach/gnumach')
-rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 178a89c0..08f4b656 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -67,8 +67,11 @@ GNU Mach and its headers should be built in separate directories: $ mkdir gnumach-build-h $ cd gnumach-build-h -Find the path to your GNU Mach sources (`../gnumach`) and configure -it (the --host flag is needed for 64 bit systems): +Find the path to your GNU Mach sources (`../gnumach`) and configure it: + + $ ../gnumach/configure --prefix= + +Instead, use the --host flag on 64 bit systems: $ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu |