Giving profiled object files a different extension (was: RE: Profiling suggestion)

[Ketil Z. Malde]

Hal Daume III <hdaume@ISI.EDU> writes:

> For what it's worth (I don't know whether defaulting -prof to mean '-prof
> -osuf p_o -hisuf p_hi' was going to be adopted or not), but I'm against
> it.

Yep.  I don't remember if I was the one raising the issue or just
participating, but I'm perfectly satisfied with the -osuf and -hisuf
options (which I hadn't discovered at the time).

(I still advocate generating a warning/error when GHC is used to link
profiling and non-profiling object files, though.  But as it never
happens anymore, it's not a big deal.)

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants