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 c379c74a9b2fdfaeff5cfda48723cf65a8ebf64e..449d1b9f8ebe06f73c5c1e0255bd30b6effb6ae7 100755 (executable)
--- 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
 }