CVS checkout broken?

1999-12-02 Thread Michael Weber
Hi! If I do a new CVS checkout with $ cvs -d:pserver:[EMAIL PROTECTED]:/cvs co -dfptools-199912 fpconfig I get the whole bunch (CONTRIB, happy, haggis, hdirect, nofib, etc.), despite the `modules' file shows: fpconfig -a !fptools/ghc !fptools/haggis !fptools/happy !fptools/hslibs

RE: CVS checkout broken?

1999-12-02 Thread Simon Marlow
If I do a new CVS checkout with $ cvs -d:pserver:[EMAIL PROTECTED]:/cvs co -dfptools-199912 fpconfig I get the whole bunch (CONTRIB, happy, haggis, hdirect, nofib, etc.), despite the `modules' file shows: fpconfig -a !fptools/ghc !fptools/haggis !fptools/happy