From df7ecd1e3d25f24628ff52c684e26aaed0c1d1ac Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht 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/mach/gnumach') 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