Fixed ../configure options issue/bug

1 files changed, 5 insertions, 23 deletions

diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 8284639b..eb3e0819 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -72,11 +72,11 @@ GNU Mach and its headers should be built in a subdirectory:
 
 Find the path to your GNU Mach sources (`..`) and configure it:
 
-    $ ../configure --prefix=
+    $ ../configure
 
-Use the --host flag on 64 bit systems:
+Use the --host flag and some options on 64 bit systems:
 
-    $ ../configure --prefix= --host=i686-unknown-linux-gnu
+    $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --host=i686-unknown-linux-gnu
 
 Install the header files into e.g. `~/gnu/include/`:
 
@@ -88,26 +88,8 @@ After you've already installed the header files (above), as well as the the
 Mach Interface Generator, you may finish building GNU Mach.  (See
 [[building_MIG|mig/gnu_mig/building]], then come back here.)
 
-GNU Mach should be built in a subdirectory create it if you have not already. 
-
-    $ mkdir gnumach-build
-    $ cd gnumach-build
-
-If you previously ran ../configure for installing the header files, you may run
-into a bug when you configure and run make below. If that is the case, empty
-the _build_ directory, and reconfigure.
-
-    $ cd gnumach-build
-    $ rm -rf *
-
-Find the path to your GNU Mach sources (`..`) and configure it:
-
-    $ ../configure
-
-If you are building on a 64 bit system, do the following instead:
-
-    $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386'
-    $ ../configure --host=i686-unknown-linux-gnu
+GNU Mach should be built in the subdirectory created above. If you've cleared
+your directory since then, you'll need to rerun the configure script.
 
 Build the kernel image: