Don't skip already built targets anymore, because a recent change could have
[coreboot.git] / util / lint / lint-000-license-headers
2010-11-19 Patrick GeorgiAdd test to check for up-to-date GPL license headers...