Don't skip already built targets anymore, because a recent change could have
[coreboot.git] / util / vgabios / include /
drwxr-xr-x   ..
drwxr-xr-x - arch
drwxr-xr-x - console