diff options
Diffstat (limited to 'Mach/BuildingGNUMach.mdwn')
| -rw-r--r-- | Mach/BuildingGNUMach.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn index 1b3298f3..9984c642 100644 --- a/Mach/BuildingGNUMach.mdwn +++ b/Mach/BuildingGNUMach.mdwn @@ -81,8 +81,8 @@ GNU Mach has to be built in a separate directory: Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it: - $ [...]/gnumach-1-branch/configure + $ [...]/gnumach-1-branch/configure --prefix= Install the header files into e.g. _~/gnu/include/_: - $ make no_deps=t prefix=~/gnu install-headers + $ make DESTDIR=~/gnu install-data |