Support using stdin to supply input in the val tool.
authorLei Zhang <antiagainst@google.com>
Thu, 18 Feb 2016 18:40:56 +0000 (13:40 -0500)
committerLei Zhang <antiagainst@google.com>
Thu, 18 Feb 2016 18:43:15 +0000 (13:43 -0500)
commit6572ad725f848b98a52800d55054910b689b61ea
tree75afd92bdd5fcf725d08cf153423f1f69dea9c99
parent53c30dd1bdf498dbb0dba49ead01e7a5b17224d0
Support using stdin to supply input in the val tool.

This allows getting output from other utilities using pipe.
tools/val/val.cpp