cl: Don't use device_infos if num_device_infos == 0
[piglit.git] / .gitlab-ci / 
tree9033ff57d0da603cfa18899e3b90ba1bfb6a0a82
drwxr-xr-x   ..
-rwxr-xr-x 533 build-debian.sh
-rwxr-xr-x 1512 build-mingw.sh
-rwxr-xr-x 448 build-wayland.sh
-rwxr-xr-x 1933 debian-install.sh
-rw-r--r-- 356 mingw32.cmake
-rw-r--r-- 364 mingw64.cmake
drwxr-xr-x - windows