diff options
| author | Guillaume Melquiond | 2015-02-05 08:04:11 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-05 08:04:11 +0100 |
| commit | 6db9f653c4aa133b161e73bf8f93d066e5858b83 (patch) | |
| tree | 811f63bb0cb942f70fc33905ce92c1d07189dcfd /dev | |
| parent | e07bce3fa05838c4cd826d1b4349604014705208 (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
