7 Aug
2012
7 Aug
'12
7:43 a.m.
#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