View previous topic :: View next topic |
Author |
Message |
solka Apprentice
Joined: 25 Jun 2003 Posts: 287 Location: Torino - ITA
|
Posted: Thu Jun 17, 2004 12:49 pm Post subject: [TOOL] Cambiare gli host di distcc e makeopts |
|
|
Salve a tutti,
stamattina stanco di vedere delle compilazioni terminare a causa di un settaggio errato di MAKEOPTS ho deciso di scrivere un miniscript che settasse il tutto automaticamente.
È veramente un mini script in quanto passa semplicemente gli host a distcc-config, imposta il valore di MAKEOPTS utilizzando l'algoritmo [ ( CPU + 1) * 2] e fa il backup del vecchio make.conf, ma visto che mi sembrava potesse essere utile ho pensato di condividerlo con la comunità
distccch
Utilizzo: distccch host1 host2 host3 ... hostN
distccch.gz
Ciao,
solka _________________ "The only reason of the man's sadness
is that he can't stay peacefully in his room."
Blaise Pascal |
|
Back to top |
|
|
solka Apprentice
Joined: 25 Jun 2003 Posts: 287 Location: Torino - ITA
|
Posted: Fri Jun 18, 2004 1:00 pm Post subject: |
|
|
Mi sono accorto che com'era prima non settava per bene gli host. Ora l'ho corretto è funziona _________________ "The only reason of the man's sadness
is that he can't stay peacefully in his room."
Blaise Pascal |
|
Back to top |
|
|
|