RE: attenzione, problema con i ports

On 10-May-2002 (17:23:22/GMT) Riccardo Torrini wrote:

> _NON_ fate make update dei ports adesso e soprattutto _NON_ fate
> make clean in /usr/ports/devel/gettext
> [...]
> Il make update di oggi ha causato questo problema.  Vi consiglio
> di aspettare notizie.

Ok, tutto finito.  Chi avesse fatto cvsup tra le 17:30 e le 20:00
di oggi, 10 maggio 2002 e' pregato di rifarlo al di fuori di questo
intervallo di tempo, una dipendenza ricorsiva causava il lancio di
centinaia di processi make ed impediva di fatto la compilazione (e
se lanciata senza troppa attenzione portava al reboot).

Calcolate anche il tempo per i cvsup periferici per sincronizzare
tra di loro, per cui se non avete fretta rifatelo domattina  :-)


Ciao++
Vic.