Fix problem with grep broken pipe on some platforms

diff --git a/config_files/common.sh b/config_files/common.sh
index 655b3ddad2961ce735181ac2b08d2f2de214f29e..e3492f753885a2e0f4a1f1c524465ec04d23fcfd 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -385,7 +385,7 @@ cat ${INSTALL_WORK}/_tmp1 >> ${install_work}/_${CSHRC} 2>/dev/null
 rm -f ${INSTALL_WORK}/_tmp1 ${INSTALL_WORK}/_tmp2
 
 # 7. Create a salome.cfg file from salome.sh
-cat ${install_work}/${SHRC} | grep -v -e "^## " | awk 'BEGIN {v=1} /if / {v=0;} /fi/ {v=1;} {if (match($0, "KERNEL")) exit 0; else if(v==1 && match($0, "^ *fi *$")==0) print $0;}' >> ${install_work}/${CFGRC}
+cat ${install_work}/${SHRC} | grep -v -e "^## " | awk 'BEGIN {v=1} /if / {if(v!=2)v=0;} /fi/ {if(v!=2)v=1;} /KERNEL/ {v=2;} {if(v==1 && match($0, "^ *fi *$")==0) print $0;}' >> ${install_work}/${CFGRC}
 sed -i "s%export PATH=\(.*\):\${\?PATH}\?%ADD_TO_PATH: \1%g" ${install_work}/${CFGRC}
 sed -i "s%export LD_LIBRARY_PATH=\(.*\):\${\?LD_LIBRARY_PATH}\?%ADD_TO_LD_LIBRARY_PATH: \1%g" ${install_work}/${CFGRC}
 sed -i "s%export PYTHONPATH=\(.*\):\${\?PYTHONPATH}\?%ADD_TO_PYTHONPATH: \1%g" ${install_work}/${CFGRC}