summaryrefslogtreecommitdiff
path: root/microkernel/mach/mig
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach/mig')
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index 1712e990..031a9b3f 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -67,8 +67,8 @@ The Mach Interface Generator should be built in a subdirectory:
$ cd mig-build
Find the root directory where you installed GNU Mach's header files and where
-you now intend to install the Mach Interface Generator (_~/gnu_) and the path
-to your Mach Interface Generator sources (../mig) and configure it:
+you now intend to install the Mach Interface Generator (_~/gnu_), and run
+configure:
$ GNU=~/gnu
$ TARGET_CPPFLAGS=-I"$GNU"/include ../configure