summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn4
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn4
2 files changed, 4 insertions, 4 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index f4c59d9f..490c5497 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -67,8 +67,8 @@ First, create the configuartion files:
GNU Mach and its headers should be built in a subdirectory:
- $ mkdir gnumach-build
- $ cd gnumach-build
+ $ mkdir build
+ $ cd build
Run configure:
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index d5268221..4d4be660 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -63,8 +63,8 @@ First, generate the configuration files:
The Mach Interface Generator should be built in a subdirectory:
- $ mkdir mig-build
- $ cd mig-build
+ $ mkdir build
+ $ cd 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 run