[ET Trac] [Einstein Toolkit] #1116: changing library options in optionlist does'nt trigger rebuild of depending thorns

[Einstein Toolkit]

#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.

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/1116#comment:1>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit