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