diff options
-rwxr-xr-x | Tools/portbuild/scripts/checkmachines | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/portbuild/scripts/checkmachines b/Tools/portbuild/scripts/checkmachines index e675800767df..8ec988a8631e 100755 --- a/Tools/portbuild/scripts/checkmachines +++ b/Tools/portbuild/scripts/checkmachines @@ -40,7 +40,8 @@ while true; do num=99 fi else - num=99 + # Don't ever want to list machines we couldn't connect to + num=999 fi num=$(($num / $l)) @@ -58,5 +59,4 @@ while true; do echo "$mach" > ${buildroot}/${i}/ulist done - sleep 15 done |