*** empty log message ***

diff --git a/config_files/common.sh b/config_files/common.sh
index b82f97dcc05e3fd20ab5e294d88758bdc2d3eeb1..437d1525408894c9b3e7e815847d9ffd45d3cf7a 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -827,7 +827,7 @@ if [ "$l" != "X" ] ; then
     # 19. process graphviz dependencies
     graphvizdir=`printenv GRAPHVIZHOME`/lib
     if [ ! -d ${graphvizdir} ] ; then graphvizdir=`printenv GRAPHVIZHOME`/lib ; fi
-    sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*graphviz[^[:space:]]*/lib% \1${graphvizdir}%g" $l > $l"_"
+    sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*graphviz-[0-9]\.[0-9]\+\.[0-9]/lib% \1${graphvizdir}%g" $l > $l"_"
     chmod -f --reference=$l $l"_"
     mv -f $l"_" $l