44 |
fi |
fi |
45 |
|
|
46 |
##dest_dir=$workdir/In_transit/LMDZE/Compil_prod |
##dest_dir=$workdir/In_transit/LMDZE/Compil_prod |
47 |
dest_dir=/usr/local/guez/LMDZ_work/LMDZE/Compil_prod${target:+_$target} |
dest_dir=/save/workdir_Lionel/LMDZ_work/LMDZE/Compil_prod${target:+_$target} |
48 |
# (Do not just use the name of the compiler as a directory name, it |
# (Do not just use the name of the compiler as a directory name, it |
49 |
# confuses some compilers.) |
# confuses some compilers.) |
50 |
|
|
51 |
set -xe |
set -xe |
52 |
gmake -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD |
make -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD |