--- trunk/libf/make.sh 2008/07/21 16:05:07 12 +++ trunk/libf/make.sh 2008/08/07 15:46:20 19 @@ -43,8 +43,8 @@ fi fi -##dest_dir=$workdir/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/LMDZE_work/Compil_prod${target:+_$target} # (Do not just use the name of the compiler as a directory name, it # confuses some compilers.)