39 |
# Find the current compiler, if any: |
# Find the current compiler, if any: |
40 |
if [[ -L compiler.mk ]] |
if [[ -L compiler.mk ]] |
41 |
then |
then |
42 |
target=`basename $(ls -l compiler.mk |cut -d " " -f 11) .mk` |
target=`basename $(readlink compiler.mk) .mk` |
43 |
fi |
fi |
44 |
fi |
fi |
45 |
|
|
46 |
##dest_dir=$workdir/LMDZE/Compil_prod |
##dest_dir=$workdir/In_transit/LMDZE/Compil_prod |
47 |
dest_dir=/home/guez/In_transit/LMDZE_work/Compil_prod${target:+_$target} |
dest_dir=/usr/local/guez/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 |
|
|