[01:09:12] <yeo> бгг, неделю промучался пытаясь запустить распеделенный gprbuild на нескольких машинах используя опцию --disributed=...
[01:10:27] <yeo> терпение иссякло, написал батник rgcc который по ssh запускает gcc удаленно, указал его в проекте, поставил -j побольше и все зашелестело!
[01:13:26] <yeo> $ cat ~/bin/rgcc
#!/bin/bash
HOSTS=([0]=tint [1]=undead)
HOST=${HOSTS[$(($$ % ${#HOSTS[*]}))]}
exec ssh $HOST gcc "$@"

[01:13:28] <yeo> типа $ cat ~/bin/rgcc
#!/bin/bash
HOSTS=([0]=tint [1]=undead)
HOST=${HOSTS[$(($$ % ${#HOSTS[*]}))]}
exec ssh $HOST gcc "$@"