ref: 8ed6277f53787f167985a691ed6800eda86b13c8
parent: d73c4ac84d2caa486c1ef96ef976506a49fd2be3
author: Tom Finegan <tomfinegan@google.com>
date: Wed Mar 5 10:18:23 EST 2014
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
--- a/build/make/configure.sh
+++ b/build/make/configure.sh
@@ -41,7 +41,7 @@
log_file(){log BEGIN $1
- pr -n -t $1 >>$logfile
+ cat -n $1 >>$logfile
log END $1
}