cl: Don't use device_infos if num_device_infos == 0
[piglit.git] / unittests / 
tree0585401958b1446b0d6fe16503c0587570dd4ad3
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
drwxr-xr-x - framework
drwxr-xr-x - generators
drwxr-xr-x - suites