diff options
| author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:46:31 -0400 |
|---|---|---|
| committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:46:31 -0400 |
| commit | df7ecd1e3d25f24628ff52c684e26aaed0c1d1ac (patch) | |
| tree | 5ee4c0c2738155cff56deb7df1f86822aae2a051 | |
| parent | 02c70fe4a97f23521a386dca8a85280df201276a (diff) | |
clarify that _build_ directory needs to be cleaned.
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 1 |
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: |