[ET Trac] [Einstein Toolkit] #954: Rename configure scripts to "configure.sh"

[Einstein Toolkit]

#954: Rename configure scripts to "configure.sh"
------------------------------------+---------------------------------------
  Reporter:  eschnett               |       Owner:        
      Type:  enhancement            |      Status:  closed
  Priority:  minor                  |   Milestone:        
 Component:  EinsteinToolkit thorn  |     Version:        
Resolution:  fixed                  |    Keywords:        
------------------------------------+---------------------------------------

Comment (by rhaas):

 Now that all these scripts (actually it would be nicest if one could use
 the SCRIPT entry of configuration.ccl) are named configure.sh, would it
 make sense to add them to the make dependencies? So that the library is
 rebuild when this file changes? I have no idea how hard to implement this
 would be.

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