# If the home directories have different files, give up.
# In the future we might consider relaxing this, reporting missing files,
# and doing the compare for common files, in the spirit of diff -r.

if [ "$files1" != "$files2" ]; then
    echo "Directories have different files to compare, stopping."
    echo "  $dir1: $(echo $files1)"
    echo "  $dir2: $(echo $files2)"
    exit 1
fi