1# Create two directories for further comparison. 2# RUN: rm -rf %t/dir1 %t/dir2 3# RUN: mkdir -p %t/dir1 %t/dir2 4 5# Same filenames in subdirs with different content, "diff -r" should fail. 6# RUN: mkdir -p %t/dir1/subdir %t/dir2/subdir 7# RUN: echo "12345" > %t/dir1/subdir/f01 8# RUN: echo "00000" > %t/dir2/subdir/f01 9# RUN: diff -r %t/dir1 %t/dir2 10