diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 5226a4b0..015046e6 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -66,7 +66,7 @@ GNU Mach and its headers should be built in a subdirectory: $ mkdir gnumach-build $ cd gnumach-build -Find the path to your GNU Mach sources (`../gnumach`) and configure it: +Find the path to your GNU Mach sources (`..`) and configure it: $ ../configure --prefix= @@ -96,7 +96,7 @@ into a bug when you configure and run make below. If that is the case, run "rm $ cd gnumach-build $ rm -rf * -Find the path to your GNU Mach sources (`../gnumach`) and configure it: +Find the path to your GNU Mach sources (`..`) and configure it: $ ../configure |