From a5c520a39e5aa99802e9bc8dc4975dbceac8ca38 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Mon, 30 Mar 2009 08:09:26 +0000
Subject: [PATCH] Replacing printf by print

---
 config_files/build.csh | 4 ++--
 config_files/build.sh  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

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
-- 
2.39.2