Hello, There is no space left on gcc20:
/dev/disk/by-uuid/8465a54e-3ca0-4df9-9e30-1f61ab5cb7fb 826G 774G 9,2G 99% / Would it be possible for the various users to try to clean up a bit their home directories? Thanks! Thomas -- Thomas Petazzoni http://thomas.enix.org Buildroot http://buildroot.org MapOSMatic http://www.maposmatic.org Free Electrons http://www.free-electrons.com _______________________________________________ Gcc-cfarm-users mailing list Gcc-cfarm-users@gna.org https://mail.gna.org/listinfo/gcc-cfarm-users
