-
Simon Marlow authored
hi files are now named after the module being compiled, not the original filename (unless of course the user has specified -ohi <blah>).
01379cdc
hi files are now named after the module being compiled, not the original filename (unless of course the user has specified -ohi <blah>).