From: maintenance team Date: Mon, 30 Mar 2009 08:09:26 +0000 (+0000) Subject: Replacing printf by print X-Git-Tag: V5_1_1 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=a5c520a39e5aa99802e9bc8dc4975dbceac8ca38;p=tools%2Finstall.git Replacing printf by print --- diff --git a/config_files/build.csh b/config_files/build.csh index 4cd38ee..87453ea 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 3dc4a7a..a58c421 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