cl: Don't use device_infos if num_device_infos == 0
[piglit.git] / tests / asmparsertest / shaders / 
treebbee02f5599c00faa0174fea503fb93a9e895a7e
drwxr-xr-x   ..
drwxr-xr-x - ARBfp1.0
drwxr-xr-x - ARBvp1.0