Merge "configure: Use "cat -n" instead of "pr -n -t""

This commit is contained in:
James Zern 2014-03-06 11:42:35 -08:00 committed by Gerrit Code Review
commit fd9ff3336b

View File

@ -41,7 +41,7 @@ log(){
log_file(){ log_file(){
log BEGIN $1 log BEGIN $1
pr -n -t $1 >>$logfile cat -n $1 >>$logfile
log END $1 log END $1
} }