diff options
author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 19:09:37 -0400 |
---|---|---|
committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 19:09:37 -0400 |
commit | 57b19ed57280f4642320dcc2b36c8ffe3b28f225 (patch) | |
tree | f043496cf5baee66c7f0cc08123bf218c0d828d0 /microkernel | |
parent | 6e3df5a0e65324a0f9a93ead9ef01e221564e704 (diff) |
no need to "find" what's under your nose
Diffstat (limited to 'microkernel')
-rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 2 | ||||
-rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 4 |
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 |