diff options
| author | Marcus Tillmanns <[email protected]> | 2022-11-10 10:56:58 +0100 |
|---|---|---|
| committer | Marcus Tillmanns <[email protected]> | 2022-11-17 14:10:11 +0000 |
| commit | d7869967cedbfadf3c0b27fa56fb8bb44d074e5c (patch) | |
| tree | 8a3e43d4062db478a39ffa5802f817e6d5ddde24 /src/plugins/valgrind/valgrindtestrunnertest.cpp | |
| parent | 1ba366c5c0d6da797faed3cb4a2dedd7821cb872 (diff) | |
ProjectExplorer: Remove duplicate devices
In rare cases it can happen that the installer creates a device that happens
to have the same rootPath as a user created device. We need to filter
these out since otherwise it can be random which of the two devices
is selected.
Change-Id: I8269795a2e4f439fb2f02d819272723a504c6703
Reviewed-by: hjk <[email protected]>
Diffstat (limited to 'src/plugins/valgrind/valgrindtestrunnertest.cpp')
0 files changed, 0 insertions, 0 deletions