diff options
| -rw-r--r-- | libclapi/cl_device_id.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libclapi/cl_device_id.c b/libclapi/cl_device_id.c index 8d33c951..d20d03d7 100644 --- a/libclapi/cl_device_id.c +++ b/libclapi/cl_device_id.c @@ -75,8 +75,10 @@ static cl_int cl_get_device_ids(cl_platform_id platform, cl_device_type device_t p = strtok(dir_path,":"); while (p) { dir = opendir(p); - if (!dir) + if (!dir) { + p = strtok(NULL,":"); continue; + } while ((dirp = readdir(dir)) != NULL) { void *handle = NULL; |