Add a "Done." line to compare
authorIan Lynagh <ian@well-typed.com>
Sun, 27 Jan 2013 16:28:36 +0000 (16:28 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 27 Jan 2013 16:28:36 +0000 (16:28 +0000)
commit1095d51520e3e917e90f073782c04a785ea9f7be
tree2143d137e82fcbf9ed1c892ce8d3f666b11b9d4e
parentd1fd45d122131bb9b07784bf3afe280162089483
Add a "Done." line to compare

Makes it clearer whether it succeeded when redirecting output
distrib/compare/compare.hs