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

19 Jun
2002
19 Jun
'02
12:26 p.m.
Hal Daume III
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.)
Thanks for the feedback. I don't think we'll change the default, but we will add some kind of consistency checking at some point. Cheers, Sim
8487
Age (days ago)
8487
Last active (days ago)
0 comments
1 participants
participants (1)
-
Simon Marlow