diff options
Diffstat (limited to 'devtools/bin/Build')
| -rwxr-xr-x | devtools/bin/Build | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/devtools/bin/Build b/devtools/bin/Build index fa4193d..4a1604c 100755 --- a/devtools/bin/Build +++ b/devtools/bin/Build @@ -675,30 +675,30 @@ then echo "Creating $obj using $BUILDTOOLS/OS/$oscf" ${mkdir} $obj - ln="ln -s" - (cd $obj - # This glob doesn't actually glob to something everywhere, - # thus the protective measures. - for i in ${obj_rel_base_dir}/${src_dir}/*.[chly13458] - do - if [ -f $i ] - then - $ln $i . - fi - done - # This glob doesn't actually glob to something everywhere, - # thus the protective measures. - for i in ${obj_rel_base_dir}/${src_dir}/*.0 - do - if [ -f $i ] - then - $ln $i `basename $i`.dist - fi - done) - if [ -f helpfile ] + ln="ln -s" + (cd $obj + # This glob doesn't actually glob to something everywhere, + # thus the protective measures. + for i in ${obj_rel_base_dir}/${src_dir}/*.[chly13458] + do + if [ -f $i ] then - (cd $obj; $ln ${obj_rel_base_dir}/${src_dir}/helpfile .) + $ln $i . fi + done + # This glob doesn't actually glob to something everywhere, + # thus the protective measures. + for i in ${obj_rel_base_dir}/${src_dir}/*.0 + do + if [ -f $i ] + then + $ln $i `basename $i`.dist + fi + done) + if [ -f helpfile ] + then + (cd $obj; $ln ${obj_rel_base_dir}/${src_dir}/helpfile .) + fi rm -f $obj/.settings$$ echo 'divert(-1)' > $obj/.settings$$ |
