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