diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/reportload | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/reportload b/Tools/portbuild/scripts/reportload index c7fe8927b4e3..911b08fa38ff 100755 --- a/Tools/portbuild/scripts/reportload +++ b/Tools/portbuild/scripts/reportload @@ -7,7 +7,9 @@ pb=/var/portbuild arch=$1 . ${pb}/${arch}/portbuild.conf -. ${pb}/${arch}/portbuild.$(hostname) +if [ -f ${pb}/${arch}/portbuild.$(hostname) ]; then + . ${pb}/${arch}/portbuild.$(hostname) +fi num=$(echo $(ls -1d ${scratchdir}/*/chroot/*/used 2>/dev/null| wc -l)) echo -n "$num " |