Re: [ET Trac] [Einstein Toolkit] #1252: Thorn configuration scripts should not be run if there are missing thorns