config.log
tools/Makefile
tools/*/Makefile
