diff options
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 |