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