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/io/serial.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/io/serial.rs')
0 files changed, 0 insertions, 0 deletions