replace >/dev/stderr by >&2

diff --git a/config_files/build.sh b/config_files/build.sh
index 17f510f2613e0d2aeaa6143f47190179cdfb6c8e..6be8c69c865a546a8c295b53088146d8f7342ca7 100755 (executable)
--- a/config_files/build.sh
+++ b/config_files/build.sh
@@ -255,7 +255,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
@@ -333,10 +333,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
@@ -360,7 +360,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
@@ -369,10 +369,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
@@ -383,7 +383,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}