| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Sun Dec 7 21:19:55 EST 2003 |
|
At Mon, 08 Dec 2003 01:41:57 +0000, Paulo Jorge de Oliveira Cantante de Matos wrote: > if [ normal-install = "normal-install" ] ; then cp -p -r > ../plt/src/../bin /home/pmatos/plt-cvs/. ; fi > cp: cannot stat `../plt/src/../bin': No such file or directory This problem should be fixed, now, too. (This one was new, related to recent changes in the CVS archive content.) Matthew
| Posted on the users mailing list. |
|