summaryrefslogtreecommitdiff
path: root/vendor/vendor.makefile
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2016-06-29 10:16:14 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2016-06-29 12:22:33 +0200
commit42610b9d5a95ec108b74ffbc6446542cf6b0176a (patch)
tree175d0ec6de097de5a2170ed4771bc2d6a3a53075 /vendor/vendor.makefile
parent8e99b22c31eb47d0422e9a69e83dc99bb315ded8 (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