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