summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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: