#1116: changing library options in optionlist does'nt trigger rebuild of depending thorns ---------------------+------------------------------------------------------ Reporter: knarf | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------
Comment (by eschnett):
This is a duplicate of #1017.
You can solve your immediate problems by deleting Cactus/configs/*/scratch/done/MPI.