From 9b07268da287e51b8bf1320aadc7aa321a374c4b Mon Sep 17 00:00:00 2001 From: vsr Date: Fri, 20 Dec 2013 11:44:56 +0000 Subject: [PATCH] Fix pb with modif config files procedure --- config_files/common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config_files/common.sh b/config_files/common.sh index 7b6509e..33dc2cf 100755 --- a/config_files/common.sh +++ b/config_files/common.sh @@ -1007,7 +1007,7 @@ modif_cfg_file(){ sed -i "s%\([^/]*\)[^; ]*/gl2ps-[0-9.]\+%\1${GL2PS_ROOT_DIR}%g" $1 fi if [ "${TBB_ROOT_DIR}" != "" ] ; then - sed -i "s%\([^/]*\)[^; ]*/tbb[^/]\+%\1${TBB_ROOT_DIR}%g" $1 + sed -i "s%\([^/]*\)[^; ]*/tbb[^/; \"]\+%\1${TBB_ROOT_DIR}%g" $1 fi if [ "${CAS_ROOT_DIR}" != "" ] ; then sed -i "s%\([^/]*\)[^; ]*/OCCT[^/]*\(/[^ /;\"]*\)\?\(\"\|/inc\|/lib\)%\1${CAS_ROOT_DIR}\3%g" $1 -- 2.39.2