diff --git a/src/configure b/src/configure index 1f59609e9f9e08fff38fd23353c56bdf4adb1f4b..a154339d1b07cce957d3dd42b7ecd06187a30d69 100755 --- a/src/configure +++ b/src/configure @@ -617,15 +617,18 @@ if [ "x${MVWORK}" == "xYES" ] ; then echo ' ---> initialisez la et relance "./configure"' exit 1 fi - if [ -d $WORKDIR ] && [ ${LOCAL} == ${LOCAL##/work} ] ; then + if [ -d ${WORKDIR} ] && [ ${LOCAL} == ${LOCAL##/work} ] ; then # if we are not allready in the workdir --> move stuff WORK=$WORKDIR/${RACINE}_WORKDIR mkdir -p ${WORK} - for dir in MY_RUN exe pub + for dir in MY_RUN exe pub src/LIB do - [ -d $LOCAL/${dir} ] && [ ! -L $LOCAL/${dir} ] \ - && mv $LOCAL/${dir} ${WORK}/. \ - && ln -s ${WORK}/${dir} $LOCAL/. + if [ -d ${LOCAL}/${dir} ] && [ ! -L ${LOCAL}/${dir} ] ; then + DIR=$( dirname ${WORK}/${dir} ) + mkdir -p ${DIR} + mv ${LOCAL}/${dir} ${DIR}/. + ln -fs ${WORK}/${dir} ${LOCAL}/${dir} + fi done fi fi