diff --git a/configure b/configure
index dc5b2f36c0f4b5fa34fc2f88a0fd9b029138b3af..cd0b0e3e819ce9a82488fdad2e1fa93a49c51cc7 100755
--- a/configure
+++ b/configure
@@ -178,7 +178,7 @@ log(){
 
 log_file(){
     log BEGIN $1
-    cat -n $1 >>$logfile
+    pr -n -t $1 >>$logfile
     log END $1
 }