1# diff -r currently cannot handle stdin.
2# RUN: diff -r %t -
3