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. |
|