Fix problem with redirection to standard output in build.csh script.

diff --git a/config_files/build.csh b/config_files/build.csh
index 87453ea57844bdc7315b381317e89eb3d8cebf10..9bcf89459a33e651cc72a9ef85add7cd8c4b5793 100755 (executable)
--- 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}