* devices mask and properties
*/
- uint quiet_sav = quiet;
-
- quiet = 0;
-
for (uint device_all_id = 0; device_all_id < devices_all_cnt; device_all_id++)
{
// skip the device, if the user did specify a list of GPUs to skip
devices_cnt++;
}
- quiet = quiet_sav;
-
if (devices_cnt == 0)
{
log_error ("ERROR: No devices left that matches your specification.");