| commit | 8ed6277f53787f167985a691ed6800eda86b13c8 | [log] [tgz] |
|---|---|---|
| author | Tom Finegan <tomfinegan@google.com> | Wed Mar 05 15:18:23 2014 -0800 |
| committer | Tom Finegan <tomfinegan@google.com> | Wed Mar 05 15:18:23 2014 -0800 |
| tree | ce8b740412e2858c267aa8c2cb5e9898b90fd54a | |
| parent | d73c4ac84d2caa486c1ef96ef976506a49fd2be3 [diff] |
configure: Use "cat -n" instead of "pr -n -t" Configuration logging is passed through pr, but nothing configure does actually requires pr. Use cat instead. Change-Id: I451217882a329c2bfb8942ac86ac624a7feef670