| 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
diff --git a/build/make/configure.sh b/build/make/configure.sh index c379c74..449d1b9 100755 --- 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 }