diff options
| -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:" |