Re: [ET Trac] [Einstein Toolkit] #1438: do not require --thornlist for build --reconfig