From: vsr Date: Mon, 30 Mar 2009 11:13:03 +0000 (+0000) Subject: Replace printf by print X-Git-Tag: V4_1_4sp2 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=7311c21957a1bc6a61b1d929ef6bff80b5afe428;p=tools%2Finstall.git Replace printf by print --- diff --git a/config_files/build.csh b/config_files/build.csh index b3cab45..e9b6a09 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -378,10 +378,10 @@ foreach module (${modules}) ######################################################### if ( $verbose_level > 0 ) then ###cat ${LOG_DIR}/make_${module}.log | grep ": error" - cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ >&2 + cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {print $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ >&2 endif if ( $verbose_level > 1 ) then - cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep -E ": warning|* Warning" | sed s@"^${module_src}/src/"@@ >&2 + cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {print $0} END {print ""}' | grep -E ": warning|* Warning" | sed s@"^${module_src}/src/"@@ >&2 endif ######################################################### # perform make dev_docs step if -t flag is given diff --git a/config_files/build.sh b/config_files/build.sh index 8b1f82a..8b44205 100755 --- a/config_files/build.sh +++ b/config_files/build.sh @@ -387,10 +387,10 @@ for module in ${modules}; do ######################################################### if [ $verbose_level -gt 0 ] ; then ###cat ${LOG_DIR}/make_${module}.log | grep ": error" - cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ >&2 + cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {print $0} END {print ""}' | grep "${module_src}/[A-Za-z_0-9./]*:" | sed s@"^${module_src}/src/"@@ >&2 fi if [ $verbose_level -gt 1 ] ; then - cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep -E ": warning|* Warning" | sed s@"^${module_src}/src/"@@ >&2 + cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {print $0} END {print ""}' | grep -E ": warning|* Warning" | sed s@"^${module_src}/src/"@@ >&2 fi ######################################################### # perform make dev_docs step if -t flag is given