diff options
| author | Emilio Jesus Gallego Arias | 2016-02-09 16:36:05 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-02-10 09:54:19 +0100 |
| commit | 5f29a92c0648afd4d9e46de79ab00d0c4b901ff0 (patch) | |
| tree | b713c0d90e295f02d52f4664fe93002da70d3e99 /kernel | |
| parent | 68db732f12980e592c610085192d93457f312607 (diff) | |
Don't fail fatally if PATH is not set.
This fixes micromega in certain environments.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions