diff --git a/build/make/configure.sh b/build/make/configure.sh index c379c74a9b2fdfaeff5cfda48723cf65a8ebf64e..449d1b9f8ebe06f73c5c1e0255bd30b6effb6ae7 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 }