diff options
Diffstat (limited to 'src/utilities/device_mapping.hpp')
-rw-r--r-- | src/utilities/device_mapping.hpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/utilities/device_mapping.hpp b/src/utilities/device_mapping.hpp index 7fdc04a0..c814622f 100644 --- a/src/utilities/device_mapping.hpp +++ b/src/utilities/device_mapping.hpp @@ -43,6 +43,11 @@ const std::unordered_map<std::string, std::string> kDeviceNames { // Empty }; +// Things to remove from device names (low-level) +const std::vector<std::string> kDeviceRemovals { + "pthread-" +}; + // ================================================================================================= } // namespace device_mapping } // namespace clblast |