summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:46:31 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:46:31 -0400
commitdf7ecd1e3d25f24628ff52c684e26aaed0c1d1ac (patch)
tree5ee4c0c2738155cff56deb7df1f86822aae2a051
parent02c70fe4a97f23521a386dca8a85280df201276a (diff)
clarify that _build_ directory needs to be cleaned.
-rw-r--r--microkernel/mach/gnumach/building.mdwn1
1 files changed, 1 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 6fb67087..5226a4b0 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -93,6 +93,7 @@ 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.
+ $ cd gnumach-build
$ rm -rf *
Find the path to your GNU Mach sources (`../gnumach`) and configure it: