diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2017-09-23 17:50:44 +0200 |
---|---|---|
committer | Cedric Nugteren <web@cedricnugteren.nl> | 2017-09-23 17:50:44 +0200 |
commit | 890281f3e8b9c0523e69500d0860aa7085e7fbe1 (patch) | |
tree | 935d86ce3b7aa08c8025e1cb55ec79af11572b70 /src/clpp11.hpp | |
parent | 0dd2ca9283285f4144e4b5b7b809c31d1a70e856 (diff) |
Made database-caching no longer dependent on device name but on device/platform IDs
Diffstat (limited to 'src/clpp11.hpp')
-rw-r--r-- | src/clpp11.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/clpp11.hpp b/src/clpp11.hpp index 7c1457b0..7d348e18 100644 --- a/src/clpp11.hpp +++ b/src/clpp11.hpp @@ -230,6 +230,7 @@ class Device { } // Methods to retrieve device information + cl_platform_id Platform() const { return GetInfo<cl_platform_id>(CL_DEVICE_PLATFORM); } std::string Version() const { return GetInfoString(CL_DEVICE_VERSION); } size_t VersionNumber() const { |