summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 19:09:37 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 19:09:37 -0400
commit57b19ed57280f4642320dcc2b36c8ffe3b28f225 (patch)
treef043496cf5baee66c7f0cc08123bf218c0d828d0 /microkernel/mach
parent6e3df5a0e65324a0f9a93ead9ef01e221564e704 (diff)
no need to "find" what's under your nose
Diffstat (limited to 'microkernel/mach')
-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