diff options
Diffstat (limited to 'Tools/portbuild/scripts')
| -rwxr-xr-x | Tools/portbuild/scripts/checkmachines | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/checkmachines b/Tools/portbuild/scripts/checkmachines index 127086f7fcc..c7009c5314e 100755 --- a/Tools/portbuild/scripts/checkmachines +++ b/Tools/portbuild/scripts/checkmachines @@ -16,7 +16,11 @@ while true; do l=$2 if [ -f ${buildroot}/loads/$m -a \ ! -z "$(find ${buildroot}/loads/$m -newer ${stamp})" ]; then - num=$(cat ${buildroot}/loads/$m) + num=$(awk '{print $1}' ${buildroot}/loads/$m) + if [ "x$num" = "x" ]; then + logger "checkmachines: file ${buildroot}/loads/$m is empty" + num=99 + fi else num=99 fi |