From af52b8b7b4f3c096fd8abed7e901b57f07c419a2 Mon Sep 17 00:00:00 2001
From: Andrew Engelbrecht <sudoman@ninthfloor.org>
Date: Wed, 3 Aug 2011 19:30:37 -0400
Subject: Actually, we need '--prefix='.

---
 microkernel/mach/gnumach/building.mdwn     | 4 ++--
 microkernel/mach/mig/gnu_mig/building.mdwn | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 4c7cee26..f4c59d9f 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:
 
 Run configure:
 
-    $ ../configure
+    $ ../configure --prefix=
 
 Use the --host flag and some options on 64 bit systems:
 
-    $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --host=i686-unknown-linux-gnu
+    $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --prefix= --host=i686-unknown-linux-gnu
 
 Install the header files into e.g. `~/gnu/include/`:
 
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index 9a83e367..d5268221 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -71,7 +71,7 @@ you now intend to install the Mach Interface Generator (_~/gnu_), and run
 configure:
 
     $ GNU=~/gnu
-    $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure 
+    $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU"
 
 The --host flag is necessary if you are building on a 64 bit machine:
 
-- 
cgit v1.2.3