From 05964bc3e982fa13d5289fe607f0a326716b9e0a Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Fri, 29 May 2009 12:14:08 +0000
Subject: [PATCH] Fix problem with redirection to standard output in build.csh
 script.

---
 config_files/build.csh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/config_files/build.csh b/config_files/build.csh
index e9b6a09..8e559b8 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:)" >&2
+		cat ${LOG_DIR}/build_configure_${module}.log | grep -E "(failed|: error:)" >/dev/stderr
 	    endif
 	endif
     endif
@@ -342,10 +342,10 @@ foreach module (${modules})
 	    # echo possible errors
 	    #########################################################
 	    if ( $verbose_level > 0 ) then
-		cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >&2
+		cat ${LOG_DIR}/configure_${module}.log | grep ": error:" >/dev/stderr
 	    endif
 	    if ( $verbose_level > 1 ) then
-		cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >&2
+		cat ${LOG_DIR}/configure_${module}.log | grep ": WARNING:" >/dev/stderr
 	    endif
 	endif
     endif
@@ -369,7 +369,7 @@ foreach module (${modules})
     #########################################################
     # print make errors
     #########################################################
-    cat ${LOG_DIR}/make_${module}.log | grep -Ei '[*][*][*].*error' >&2
+    cat ${LOG_DIR}/make_${module}.log | grep -Ei '[*][*][*].*error' >/dev/stderr
     #########################################################
     # print compiler errors and warnings
     # Note: here awk is used to concatenate together several lines of single
@@ -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 ""} {print $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/"@@ >/dev/stderr
     endif
     if ( $verbose_level > 1 ) then
-	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
+	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/"@@ >/dev/stderr
     endif
     #########################################################
     # perform make dev_docs step if -t flag is given
@@ -392,7 +392,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 '[*][*][*]' >&2
+	    cat ${LOG_DIR}/make_dev_docs_${module}.log | grep '[*][*][*]' >/dev/stderr
 	endif
     endif
     cd ${module_build}
-- 
2.39.2