eventlog file should drop ".exe" exetention for consistency.

[shelarcy]

GHC profiler always drop ".exe" extention in output file's name. But eventlog doesn't. eventlog file can contain ".exe" extention when usign "<program>.exe" command on Windows.

I think this different behavior causes problem when writing application. So, eventlog file should drop ".exe" exetention for consistency.

See also: #1955.

[duncan]

Patch: Drop ".exe" exetention from eventlog file name

[duncan@…]

commit cffb7601d8fa4c4939a08763564dda239fc80dab

Author: Duncan Coutts <duncan@well-typed.com>
Date:   Mon Nov 21 11:32:15 2011 +0000

    Drop ".exe" exetention from eventlog file name
    
    Fixes ticket #5472

 rts/eventlog/EventLog.c |   21 ++++++++++++++++++---
 1 files changed, 18 insertions(+), 3 deletions(-)

[igloo]

Applied, thanks!