configure: Use "cat -n" instead of "pr -n -t"
authorTom Finegan <tomfinegan@google.com>
Wed, 5 Mar 2014 23:18:23 +0000 (15:18 -0800)
committerTom Finegan <tomfinegan@google.com>
Wed, 5 Mar 2014 23:18:23 +0000 (15:18 -0800)
commit8ed6277f53787f167985a691ed6800eda86b13c8
treece8b740412e2858c267aa8c2cb5e9898b90fd54a
parentd73c4ac84d2caa486c1ef96ef976506a49fd2be3
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
build/make/configure.sh