Quite the difference, no?
Maybe this could be generalized (what's special about /dev?)."make install" does not need to analyze all the paths on the system (per file!)...
-- fedora-selinux-list mailing list fedora-selinux-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-selinux-list
