#!/bin/sh
# Check that diff responds well if a directory has multiple file names
# that compare equal.
. "${srcdir=.}/init.sh"; path_prepend_ ../src
mkdir d1 d2 || fail=1
for i in abc abC aBc aBC; do
echo xyz >d1/$i || fail=1
done
for i in ABC ABc AbC Abc; do
echo xyz >d2/$i || fail=1
done
diff -r --ignore-file-name-case d1 d2 || fail=1
Exit $fail