--- trunk/libf/make.sh 2008/08/07 15:46:20 19 +++ trunk/libf/make.sh 2008/10/15 16:19:57 20 @@ -43,8 +43,8 @@ fi fi -dest_dir=$workdir/In_transit/LMDZE/Compil_prod -##dest_dir=/usr/local/guez/LMDZE_work/Compil_prod${target:+_$target} +##dest_dir=$workdir/In_transit/LMDZE/Compil_prod +dest_dir=/usr/local/guez/LMDZ/LMDZE_work/Compil_prod${target:+_$target} # (Do not just use the name of the compiler as a directory name, it # confuses some compilers.)