summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn2
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn4
2 files changed, 3 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index eb3e0819..4c7cee26 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -70,7 +70,7 @@ GNU Mach and its headers should be built in a subdirectory:
$ mkdir gnumach-build
$ cd gnumach-build
-Find the path to your GNU Mach sources (`..`) and configure it:
+Run configure:
$ ../configure
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