From c76329bebde3470e26e0ad2326a9422f530758c1 Mon Sep 17 00:00:00 2001
From: akl <akl@opencascade.com>
Date: Thu, 19 Jun 2008 12:13:53 +0000
Subject: [PATCH] Redirect 'pushd' and 'popd' outputs to /dev/null.

---
 config_files/KERNEL.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index 3a0202d..2f745fe 100755
--- a/config_files/KERNEL.sh
+++ b/config_files/KERNEL.sh
@@ -141,13 +141,13 @@ pickup_env()
 {
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE} ${PRODUCT_DIR}
 if [ -d ${PRODUCT_DIR} ] ; then
-    pushd ${PRODUCT_DIR}
+    pushd ${PRODUCT_DIR} > /dev/null
     version=`cat bin/salome/VERSION | awk -F: '{print $2}' | tr -d '[:space:]'`
     dir="${HOME}/salome_appli_$version"
     bin/salome/createAppli.sh $dir
     rm -rf $dir/env.d/*.sh
     cp -f ${PRODUCT_DIR}/salome.sh $dir/env.d
-    popd
+    popd > /dev/null
 fi
 create_config.sh ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_DIR}
 make_env ${INSTALL_ROOT} ${INSTALL_WORK} "${PRODUCT_SEQUENCE}" "${INSTALL_PRODUCTS}" ${PRODUCT_TYPE}_src ${PRODUCT_SRC_DIR}
-- 
2.39.2