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

[Einstein Toolkit]

#1017: Changes to options don't re-run configure scripts in external libraries
----------------------+-----------------------------------------------------
 Reporter:  eschnett  |       Owner:     
     Type:  defect    |      Status:  new
 Priority:  major     |   Milestone:     
Component:  Cactus    |     Version:     
 Keywords:            |  
----------------------+-----------------------------------------------------


-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/1017>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit