Shouldn't it work to pass -M --make? Or, hmm, maybe -M isn't
generating enough dependencies - like, it seems that it should
generate a dependency for the final output file specified with -o
but it isn't...
Frederik
On Wed, Dec 07, 2005 at 11:34:55AM -, Simon Marlow wrote:
On 04 December
On 04 December 2005 00:51, John Meacham wrote:
I was thinking it would be nice if ghc --make could touch the output
file with the timestamp of the most recently modified source file.
As it is, if you edit a file in between when ghc --make starts and it
finishes (a substantial amount of time