Re: [ET Trac] [Einstein Toolkit] #1017: Changes to options don't re-run configure scripts in external libraries