#415: CUCC no optimization option is not set correctly ----------------------+----------------------------------------------------- Reporter: jtao | Owner: Type: defect | Status: new Priority: critical | Milestone: Component: Other | Version: Keywords: | ----------------------+----------------------------------------------------- CUCC no optimization option is not set correctly.
#415: CUCC no optimization option is not set correctly ---------------------+------------------------------------------------------ Reporter: jtao | Owner: Type: defect | Status: new Priority: major | Milestone: ET_2011_11 Component: Other | Version: Resolution: | Keywords: ---------------------+------------------------------------------------------ Changes (by knarf):
* priority: critical => major * milestone: => ET_2011_11
#415: CUCC no optimization option is not set correctly ---------------------+------------------------------------------------------ Reporter: jtao | Owner: Type: defect | Status: closed Priority: major | Milestone: ET_2011_11 Component: Other | Version: Resolution: fixed | Keywords: ---------------------+------------------------------------------------------ Changes (by knarf):
* status: new => closed * resolution: => fixed
Comment:
I believe this is fixed already, in r4700.
trac@lists.einsteintoolkit.org