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