On Tue, 2010-12-28 at 16:21 +0100, Laurent GUERBY wrote:
> Hi,
> 
> gcc57 disk is failing, I've taken it offline.

gcc57:/home/* has been copied on gcc56:/n/57/*
only the following files were reported as lost:

ERROR: home/cconway/cvc3-2.2-orig/src/sat/minisat_solver.h failed verification 
-- update discarded.
ERROR: home/cconway/cvc3-2.2-orig/src/sat/minisat_varorder.h failed 
verification -- update discarded.
ERROR: home/cconway/cvc3-2.2/Makefile.local.in failed verification -- update 
discarded.
ERROR: home/cconway/cvc3-2.2/configure failed verification -- update discarded.
ERROR: home/cconway/cvc3-2.2/configure.ac.orig failed verification -- update 
discarded.
ERROR: home/cconway/cvc3-2.2/java/Makefile failed verification -- update 
discarded.
ERROR: home/vmakarov/build/gcc/gcc/emit-rtl.c failed verification -- update 
discarded.
ERROR: home/vmakarov/build/gcc/gcc/lra-constraints.c failed verification -- 
update discarded.

Sincerely,

Laurent



_______________________________________________
Gcc-cfarm-users mailing list
Gcc-cfarm-users@gna.org
https://mail.gna.org/listinfo/gcc-cfarm-users

Reply via email to