From df7ecd1e3d25f24628ff52c684e26aaed0c1d1ac Mon Sep 17 00:00:00 2001
From: Andrew Engelbrecht <sudoman@ninthfloor.org>
Date: Wed, 3 Aug 2011 17:46:31 -0400
Subject: clarify that _build_ directory needs to be cleaned.
---
microkernel/mach/gnumach/building.mdwn | 1 +
1 file changed, 1 insertion(+)
(limited to 'microkernel')
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:
--
cgit v1.2.3