summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 19:45:28 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 19:45:28 -0400
commite0f350c7d6e3af901097e43fe2c1bc0efb237f60 (patch)
treefbecc434716712e947dded7cdec119b6d05ad711
parentaf52b8b7b4f3c096fd8abed7e901b57f07c419a2 (diff)
rename build directories to 'build'
-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