+ /var/log/dumps/ \
+ ; do
+ [[ ! -d "${gen1_d}${dir}" ]] && continue
+ [[ ! -d "${gen2_d}${dir}" ]] && continue
+
+ # Make sure that this is a system root; comparing other
+ # root folders results in misleading output ...
+ [[ "$dir" == "/" && ! -d "${gen1_d}${dir}/etc" ]] && continue
+
+ [[ $VERBOSE -ne 0 ]] && echo "Checking \"$dir\" ..."
+ ListDirectory "${gen1_d}" "${dir}" >"$tmp_1"
+ ListDirectory "${gen2_d}" "${dir}" >"$tmp_2"
+ if ! diff -U 0 "$tmp_1" "$tmp_2" >"$tmp_diff"; then
+ BeginDiff "\"$dir\" directory"
+ tail -n +3 "$tmp_diff" | grep -Ev '^@@ ' | PipeDiff
+ EndDiff
+ return_code=1
+ fi
+ done
+
+ for dir in \