aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorGuillaume Melquiond2015-02-05 08:04:11 +0100
committerGuillaume Melquiond2015-02-05 08:04:11 +0100
commit6db9f653c4aa133b161e73bf8f93d066e5858b83 (patch)
tree811f63bb0cb942f70fc33905ce92c1d07189dcfd /dev
parente07bce3fa05838c4cd826d1b4349604014705208 (diff)
Properly set module names in presence of -Q. (Fix for bug #3958)
This is done by adding a fourth type of loadpath, the ones that are neither implicit nor root, for the subdirectories of a -Q root. Note: this means that scanning for available directories is no longer done on the fly for -Q, but once and for all, as with -R.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions