cl: Don't use device_infos if num_device_infos == 0
[piglit.git] / cmake / 
tree915f5830ee2103a22224565e4ea8a20f6265bfa9
drwxr-xr-x   ..
drwxr-xr-x - Modules
-rw-r--r-- 2209 piglit_dispatch.cmake
-rw-r--r-- 4678 piglit_util.cmake
drwxr-xr-x - target_api
-rw-r--r-- 473 win10-manifest.txt