diff options
| -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: |