Tom Finegan 8ed6277f53 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
2014-03-05 15:18:23 -08:00
..
2014-02-28 11:56:14 -08:00
2014-01-10 12:16:59 -08:00
2013-11-14 12:05:59 -08:00
2014-01-08 09:51:15 -08:00
2014-03-03 14:47:11 -08:00
2014-02-28 11:56:14 -08:00