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/routine.hpp | |
| parent | 0dd2ca9283285f4144e4b5b7b809c31d1a70e856 (diff) | |
Made database-caching no longer dependent on device name but on device/platform IDs
Diffstat (limited to 'src/routine.hpp')
| -rw-r--r-- | src/routine.hpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/routine.hpp b/src/routine.hpp index 5e2b4065..e77e35ad 100644 --- a/src/routine.hpp +++ b/src/routine.hpp @@ -75,9 +75,7 @@ class Routine { EventPointer event_; const Context context_; const Device device_; - - // OpenCL device properties - const std::string device_name_; + const cl_platform_id platform_; // Compiled program (either retrieved from cache or compiled in slow path) Program program_; |