patch applied (hugs98): exclude GHC and NHC top-level hierarchies

Ross Paterson ross at soi.city.ac.uk
Wed Aug 29 13:53:58 EDT 2007

Previous message: patch applied (hugs98): no longer use hugs/exclude
Next message: patch applied (hugs98): drop --with-runhugs argument to Setup
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Aug 29 08:39:56 PDT 2007  Ross Paterson <ross at soi.city.ac.uk>
  * exclude GHC and NHC top-level hierarchies

    M ./libraries/tools/make_bootlib -1 +2

Previous message: patch applied (hugs98): no longer use hugs/exclude
Next message: patch applied (hugs98): drop --with-runhugs argument to Setup
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-hugs mailing list