diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2019-10-31 23:18:02 +0100 |
|---|---|---|
| committer | Maximilian Bosch <maximilian@mbosch.me> | 2019-10-31 23:18:02 +0100 |
| commit | 86fd2c1e6a602a1086d164b1ab2676c91b3684c6 (patch) | |
| tree | 1956a9612999ba0fa473b5439e5748bf54040d21 /kernel/src/lib.rs | |
| parent | b48d0f0e39e72db103234ccc0bc5726391bed939 (diff) | |
Implement simple option to override grub-i386 dirs
For people with some weird hipster-OS which doesn't have a `/usr/lib`
the current script breaks. Allowing to override the path with an
environment variable seems to be the easiest way to solve this issue for
now.
Diffstat (limited to 'kernel/src/lib.rs')
0 files changed, 0 insertions, 0 deletions