Remove obsolete workaround.

diff --git a/config_files/common.sh b/config_files/common.sh
index 437d1525408894c9b3e7e815847d9ffd45d3cf7a..e996ab71662ca35ea01041c7fb8c974a2567b857 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -672,10 +672,10 @@ if [ "$l" != "X" ] ; then
            sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*${mod}[^[:space:]/]*/lib% \1${moddir}/lib%g" \
                -e "s%^libdir='[^[:space:]]*${mod}[^[:space:]]*/\(lib.*\)'%libdir='${moddir}/\1'%g" $l > $l"_"
            mv -f $l"_" $l
-           for mod1 in $SALOME_MODULES; do
-               sed     -e "s%[[:space:]]\(-L\)\?[^[:space:]]*${mod1}[^[:space:]]*/${mod1}_build%%g" $l > $l"_"
-               mv -f $l"_" $l
-           done
+#          for mod1 in $SALOME_MODULES; do
+#              sed     -e "s%[[:space:]]\(-L\)\?[^[:space:]]*${mod1}[^[:space:]]*/${mod1}_build%%g" $l > $l"_"
+#              mv -f $l"_" $l
+#          done
        fi
     done