From: akl <akl@opencascade.com>
Date: Fri, 17 Aug 2007 10:40:21 +0000 (+0000)
Subject: Use descriptor 2 instead of 'stderr' name of file.
X-Git-Tag: IMP_BR_4~42
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=2a4f61e17ce400c20f68389f3ed14e56c4610aa8;p=tools%2Finstall.git

Use descriptor 2 instead of 'stderr' name of file.
---

diff --git a/config_files/build.csh b/config_files/build.csh
index a378cf3..14b7a64 100755
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -257,7 +257,7 @@ foreach module (${modules})
 	    # echo possible errors
 	    #########################################################
 	    if ( $verbose_level > 0 ) then
-		cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" > /dev/stderr
+		cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" >&2
 	    endif
 	endif
     endif
@@ -336,10 +336,10 @@ foreach module (${modules})
 	    # echo possible errors
 	    #########################################################
 	    if ( $verbose_level > 0 ) then
-		cat ${LOG_DIR}/configure_${module}.log | grep ": error:" > /dev/stderr
+		cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >&2
 	    endif
 	    if ( $verbose_level > 1 ) then
-		cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" > /dev/stderr
+		cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >&2
 	    endif
 	endif
     endif
@@ -363,7 +363,7 @@ foreach module (${modules})
     #########################################################
     # print make errors
     #########################################################
-    cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' > /dev/stderr
+    cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' >&2
     #########################################################
     # print compiler errors and warnings
     # Note: here awk is used to concatenate together several lines of single
@@ -372,10 +372,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/"@@ > /dev/stderr
+	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
     endif
     if ( $verbose_level > 1 ) then
-	cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ > /dev/stderr
+	cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ >&2
     endif
     #########################################################
     # perform make dev_docs step if -t flag is given
@@ -386,7 +386,7 @@ foreach module (${modules})
 	if ( "$dd" != "" ) then
 	    echo "... Performing make dev_docs"
 	    make dev_docs >& ${LOG_DIR}/make_dev_docs_${module}.log
-	    cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' > /dev/stderr
+	    cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' >&2
 	endif
     endif
     cd ${module_build}
diff --git a/config_files/build.sh b/config_files/build.sh
index c6fae3e..553908e 100755
--- a/config_files/build.sh
+++ b/config_files/build.sh
@@ -264,7 +264,7 @@ for module in ${modules}; do
 	        # echo possible errors
 	        #########################################################
 		if [ $verbose_level -gt 0 ] ; then
-		    cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" > /dev/stderr
+		    cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" >&2
 		fi
 	    fi
 	fi
@@ -345,10 +345,10 @@ for module in ${modules}; do
 	        # echo possible errors
 	        #########################################################
 		if [ $verbose_level -gt 0 ] ; then
-		    cat ${LOG_DIR}/configure_${module}.log | grep ": error:" > /dev/stderr
+		    cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >&2
 		fi
 		if [ $verbose_level -gt 1 ] ; then
-		    cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" > /dev/stderr
+		    cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >&2
 		fi
 	    fi
 	fi
@@ -372,7 +372,7 @@ for module in ${modules}; do
         #########################################################
         # print make errors
         #########################################################
-	cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' > /dev/stderr
+	cat ${LOG_DIR}/make_${module}.log | grep '[*][*][*]' >&2
         #########################################################
         # print compiler errors and warnings
         # Note: here awk is used to concatenate together several lines of single
@@ -381,10 +381,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/"@@ > /dev/stderr
+	    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
 	fi
 	if [ $verbose_level -gt 1 ] ; then
-	    cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ > /dev/stderr
+	    cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@ >&2
 	fi
         #########################################################
         # perform make dev_docs step if -t flag is given
@@ -395,7 +395,7 @@ for module in ${modules}; do
 	    if [ "$dd" != "" ] ; then
 		echo "... Performing make dev_docs"
 		make dev_docs >& ${LOG_DIR}/make_dev_docs_${module}.log
-		cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' > /dev/stderr
+		cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' >&2
 	    fi
 	fi
 	cd ${module_build}