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