summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:44:43 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:44:43 -0400
commit02c70fe4a97f23521a386dca8a85280df201276a (patch)
tree491f3f916a5199dc6d40a085a43e7f9e7734c223 /microkernel
parent1aaae16a0242a1251b3b5c779513cf92d97a9f85 (diff)
build GM headers and code in same dir. explain bug.
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn15
1 files changed, 10 insertions, 5 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 8fc1c7a1..6fb67087 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -63,8 +63,8 @@ First, you have to create the configuartion files:
GNU Mach and its headers should be built in a subdirectory:
- $ mkdir gnumach-build-h
- $ cd gnumach-build-h
+ $ mkdir gnumach-build
+ $ cd gnumach-build
Find the path to your GNU Mach sources (`../gnumach`) and configure it:
@@ -84,13 +84,18 @@ Building GNU Mach requires you to have the Mach Interface Generator
installed. See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come
back here.
-GNU Mach should be built in a subdirectory:
+GNU Mach should be built in a subdirectory create it if you have not already.
$ mkdir gnumach-build
$ cd gnumach-build
-Find the path to your GNU Mach sources (`../gnumach`) and configure
-it:
+If you previously ran ../configure for installing the header files, you may run
+into a bug when you configure and run make below. If that is the case, run "rm
+-rf *" in the _build_ directory, and reconfigure.
+
+ $ rm -rf *
+
+Find the path to your GNU Mach sources (`../gnumach`) and configure it:
$ ../configure