Re: [Tools v4 1/2] testbot: Run make_makefiles when a file is added or removed.