[ET Trac] [Einstein Toolkit] #1897: MPI thorn builds when it shouldn't

[Einstein Toolkit]

#1897: MPI thorn builds when it shouldn't
------------------------------------+---------------------------------------
  Reporter:  hinder                 |       Owner:                     
      Type:  defect                 |      Status:  review             
  Priority:  blocker                |   Milestone:  ET_2016_05         
 Component:  EinsteinToolkit thorn  |     Version:  development version
Resolution:                         |    Keywords:  MPI                
------------------------------------+---------------------------------------

Comment (by knarf):

 Replying to [comment:3 knarf]:
 > The date of that file has to update whenever that library changed (when
 built).

 It also needs to change after each invocation of the detect script, if the
 library was still detected. This is because the make-mechanism can then
 use this file to determine whether to build or not build the library. This
 is what is currently missing, and can lead to the unnecessary builds if
 the library is available elsewhere, and build.sh is updated. (make
 compares the date of 'done' (and later 'available') to the date of
 'build.sh')

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