diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-12-16 16:45:39 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-12-16 16:45:39 +0100 |
commit | 0243d098db2a1bfa4ac068a77089b7670d29ec79 (patch) | |
tree | f62e5b122d9c120272d2d5130ba031d367def2e4 /bin/housekeeping.sh | |
parent | 93ea7952c1eaf5a99d12cda55ef3cf512d25e81d (diff) | |
download | jenkins.debian.net-0243d098db2a1bfa4ac068a77089b7670d29ec79.tar.xz |
fixup check_for_mounted_chroots
Diffstat (limited to 'bin/housekeeping.sh')
-rwxr-xr-x | bin/housekeeping.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/housekeeping.sh b/bin/housekeeping.sh index fb1db6b3..87bf204b 100755 --- a/bin/housekeeping.sh +++ b/bin/housekeeping.sh @@ -11,8 +11,8 @@ set -e check_for_mounted_chroots() { CHROOT_PATTERN="/chroots/${1}-*" - OUTPUT=$(ls $CHROOT_PATTERN 2>/dev/null) - if [ "$OUTPUT" != "" ] ; then + OUTPUT=$(ls $CHROOT_PATTERN 2>/dev/null) || true + if [ ! -z $OUTPUT ] ; then figlet "Warning:" echo echo "Probably manual cleanup needed:" |