--- trunk/libf/make.sh	2008/08/07 15:46:20	19
+++ trunk/libf/make.sh	2011/01/06 17:52:19	38
@@ -43,10 +43,10 @@
     fi
 fi
 
-dest_dir=$workdir/In_transit/LMDZE/Compil_prod
-##dest_dir=/usr/local/guez/LMDZE_work/Compil_prod${target:+_$target}
+##dest_dir=~/Bureau/Compil_prod${target:+_$target}
+dest_dir=/save/workdir_Lionel/LMDZ_work/LMDZE/Compil_prod${target:+_$target}
 # (Do not just use the name of the compiler as a directory name, it
 # confuses some compilers.)
 
 set -xe
-gmake -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD
+make -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD