Merge pull request #127 from philsmd/master

add skipped devices to the --benchmark output
pull/132/head
Jens Steube 8 years ago
commit 58d2e69259

@ -12451,6 +12451,13 @@ int main (int argc, char **argv)
* devices mask and properties
*/
uint quiet_sav = quiet;
if (benchmark)
{
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
@ -12532,6 +12539,8 @@ int main (int argc, char **argv)
devices_cnt++;
}
quiet = quiet_sav;
if (devices_cnt == 0)
{
log_error ("ERROR: No devices left that matches your specification.");

Loading…
Cancel
Save