Directories have different files to compare in format-predictable-test (7.0,develop)

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None

      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

            Assignee:
            [DO NOT USE] Backlog - Storage Engines Team
            Reporter:
            Etienne Petrel
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated: