From 8ed6277f53787f167985a691ed6800eda86b13c8 Mon Sep 17 00:00:00 2001 From: Tom Finegan Date: Wed, 5 Mar 2014 15:18:23 -0800 Subject: 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build/make/configure.sh') diff --git a/build/make/configure.sh b/build/make/configure.sh index c379c74a9..449d1b9f8 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -41,7 +41,7 @@ log(){ log_file(){ log BEGIN $1 - pr -n -t $1 >>$logfile + cat -n $1 >>$logfile log END $1 } -- cgit v1.2.3