diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-06-29 10:16:14 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-29 12:22:33 +0200 |
commit | 42610b9d5a95ec108b74ffbc6446542cf6b0176a (patch) | |
tree | 175d0ec6de097de5a2170ed4771bc2d6a3a53075 /vendor/vendor.makefile | |
parent | 8e99b22c31eb47d0422e9a69e83dc99bb315ded8 (diff) |
if conf unset, don't read / as conf/pref/sources dir
Usually these config options are set to sensible values, but if init
isn't run or the user interferes with configuration clearing or similar
the options could indeed carry an empty value, which will result in
FindDir returning a '/'. That feels kinda wrong, but as a public
interface there isn't much we can do about it and instead make it so
that we get the special file /dev/null back we know how to deal with in
such cases.
Diffstat (limited to 'vendor/vendor.makefile')
0 files changed, 0 insertions, 0 deletions