--- trunk/libf/make.sh	2010/03/03 13:23:49	24
+++ trunk/libf/make.sh	2010/12/02 17:11:04	36
@@ -44,9 +44,9 @@
 fi
 
 ##dest_dir=$workdir/In_transit/LMDZE/Compil_prod
-dest_dir=/usr/local/guez/LMDZ_work/LMDZE/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