From 8ed6277f53787f167985a691ed6800eda86b13c8 Mon Sep 17 00:00:00 2001
From: Tom Finegan <tomfinegan@google.com>
Date: Wed, 5 Mar 2014 15:18:23 -0800
Subject: [PATCH] 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(-)
diff --git a/build/make/configure.sh b/build/make/configure.sh
index c379c74a9b..449d1b9f8e 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
}
--
GitLab