diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-01-14 22:29:38 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-01-14 22:29:38 +0000 |
| commit | 04f20d7fc526ba3bbe65dce971c6eba826884e1f (patch) | |
| tree | 00f50505e2e4c8f775a7fe37a5f95be2dc5c2f42 /Mach | |
| parent | 9907190d1de7c0f632cf45d2ec76b1289289f909 (diff) | |
none
Diffstat (limited to 'Mach')
| -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 |