I will go ahead and add a similar control at the top-level Makefile wrapper.