--- trunk/libf/make.sh	2008/03/31 12:24:17	7
+++ trunk/libf/make.sh	2009/12/14 15:25:16	23
@@ -39,12 +39,12 @@
     # Find the current compiler, if any:
     if [[ -L compiler.mk ]]
 	then
-	target=`basename $(ls -l compiler.mk |cut -d " " -f 11) .mk`
+	target=`basename $(readlink compiler.mk) .mk`
     fi
 fi
 
-##dest_dir=$workdir/LMDZE/Compil_prod
-dest_dir=/home/guez/In_transit/LMDZE_work/Compil_prod${target:+_$target}
+dest_dir=$workdir/In_transit/LMDZE/Compil_prod
+##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.)