On Wed, 27 Nov 2013, Matthew Knepley wrote: > I am not building with Builder anymore (just running tests), so we can > switch the Builder build to make. You mean the nightly builds should use 'make' to build - but 'builder' to run the tests? Satish