On 12/2/2011 12:52 PM, Brad Roberts wrote: > > Sorry, I can't tell what your preference was. Can you restate that in the > form of an explicit opinion on what the tester's makefile should do? > I don't have an opinion on that. Do what you think is best with the auto-tester.