Do not scan other gpu platforms if one is specified.
diff --git a/ocl.c b/ocl.c
index 635090b..d604582 100644
--- a/ocl.c
+++ b/ocl.c
@@ -103,6 +103,9 @@ int clDevicesNum(void) {
}
for (i = 0; i < numPlatforms; i++) {
+ if (opt_platform_id >= 0 && (int)i != opt_platform_id)
+ continue;
+
status = clGetPlatformInfo( platforms[i], CL_PLATFORM_VENDOR, sizeof(pbuff), pbuff, NULL);
if (status != CL_SUCCESS) {
applog(LOG_ERR, "Error %d: Getting Platform Info. (clGetPlatformInfo)", status);