diff options
| author | Martin Blanchard <tchaik@gmx.com> | 2018-05-09 22:47:12 +0100 |
|---|---|---|
| committer | Lenny Komow <lenny@lunarg.com> | 2018-05-10 11:10:33 -0600 |
| commit | 03f8772aa6da74d38dde1ef3737491e2e214b619 (patch) | |
| tree | 18600c55a2e7de9398c41a20031515e6f7858392 /scripts/common_codegen.py | |
| parent | b6a72022dd1fdd58211ffdaa038e08920fee6d2d (diff) | |
| download | usermoji-03f8772aa6da74d38dde1ef3737491e2e214b619.tar.xz | |
loader: Remove duplicated delimiting chars in paths
Before loading a manifest file, its full path is strcmp() with already
loaded ones in order not to load the same file twice. While being simple
and efficent, this mechanism is not able to detect subtle duplicates
like these:
/usr/share/vulkan/icd.d/intel_icd.x86_64.json
/usr/share//vulkan/icd.d/intel_icd.x86_64.json
This patch ensure that searched paths do not contains such duplicated
directory delimiting characters in order to avoid this kind of problem.
Fixes #2331
Fixes #2629
Diffstat (limited to 'scripts/common_codegen.py')
0 files changed, 0 insertions, 0 deletions