ross 2005/04/22 09:37:14 PDT Modified files: tools hugs-hc Log: also use OPTIONS_GHC Revision Changes Path 1.6 +1 -1 hugs98/tools/hugs-hc