-
Type:
Bug
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
StorEng - Refinement Pipeline
The error occurred in this patch build.
In wt_cmp_dir, one can read:
# 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