diff options
| author | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2003-06-01 06:54:04 +0000 |
|---|---|---|
| committer | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2003-06-01 06:54:04 +0000 |
| commit | e49bb243ac9f777af4977fdb41347438a4b711f7 (patch) | |
| tree | b390758800a383d46e9c02c1b041bf5e0fa3d2e1 /Mach | |
| parent | a3bc4a3f4f0e86648741eab82697061d9b494fa7 (diff) | |
none
Diffstat (limited to 'Mach')
| -rw-r--r-- | Mach/BuildingOskitMach.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Mach/BuildingOskitMach.mdwn b/Mach/BuildingOskitMach.mdwn index 87dd98b3..d94ef836 100644 --- a/Mach/BuildingOskitMach.mdwn +++ b/Mach/BuildingOskitMach.mdwn @@ -163,7 +163,7 @@ If the `make` command complains about missing dependencies, then you haven't pas Comment: Barry deFreese -If you receive an error like `No rule to make target Kernel-ide...`, there is a patch for an issue with finding the oskit libraries. Then run `configure` on gnumach again with the option <tt>--with-oskit=_path to oskit libraries_</tt>. +If you receive an error like `No rule to make target Kernel-ide...`, there is a patch for an issue with finding the oskit libraries. Then run `configure` on gnumach again with the option `--with-oskit=/path/to/oskit/libraries`. The patch can be found here: [gnumach-oskit-path.patch](http://www.vis.ethz.ch/~wagi/hurd/gnumach/gnumach-oskit-path.patch) Thanks wagi!! |