recomp013

[Edward Z. Yang]

I couldn't repro on a devel2 build.

Edward

Excerpts from Simon Peyton Jones's message of 2015-10-26 08:24:00 -0700:
> driver/recomp013 is failing, on Linux, on HEAD for me:
> 
> Actual stdout output differs from expected:
> 
> --- ./driver/recomp013/recomp013.stdout.normalised    2015-10-26 14:26:51.920153558 +0000
> 
> +++ ./driver/recomp013/recomp013.run.stdout.normalised      2015-10-26 14:26:51.920153558 +0000
> 
> @@ -3,5 +3,3 @@
> 
> [2 of 3] Compiling B                ( B.hs, B.o )
> 
> [3 of 3] Compiling C                ( C.hs, C.o )
> 
> second run
> 
> -[2 of 3] Compiling B                ( B.hs, B.o )
> 
> -[3 of 3] Compiling C                ( C.hs, C.o ) [B changed]