version 1.4, 2007/10/05 21:14:22
|
version 1.5, 2007/10/09 23:36:40
|
Line 15 foreach ARG ($argv) |
|
Line 15 foreach ARG ($argv) |
|
end | end |
| |
if ($CHKLIBS == "no") then | if ($CHKLIBS == "no") then |
|
echo -n "Remove links for local project configuration..." |
|
if (-d src/proj) then |
|
cd src/proj |
|
rm configure |
|
rm make_basic.mk |
|
rm Rules.mk |
|
rm target.mk |
|
cd ../.. |
|
endif |
|
echo "done" |
|
|
echo -n "Remove links to man pages..." | echo -n "Remove links to man pages..." |
if (-d man/man1) then | if (-d man/man1) then |
cd man/man1 | cd man/man1 |
Line 64 if ($CHKLIBS == "no") then |
|
Line 75 if ($CHKLIBS == "no") then |
|
src/base/local/libs/soi/scripts/rmlinks.csh | src/base/local/libs/soi/scripts/rmlinks.csh |
endif | endif |
else | else |
|
echo -n "Setting links for local project configuration..." |
|
if (-d ../JSOC.LOCAL) then |
|
cd src/proj |
|
ln -sf ../../../JSOC.LOCAL/configure configure |
|
ln -sf ../../../JSOC.LOCAL/make_basic.mk make_basic.mk |
|
ln -sf ../../../JSOC.LOCAL/Rules.mk Rules.mk |
|
ln -sf ../../../JSOC.LOCAL/target.mk target.mk |
|
cd ../.. |
|
endif |
|
echo "done" |
|
|
echo -n "Setting links to man pages..." | echo -n "Setting links to man pages..." |
if (!(-d man/man1)) then | if (!(-d man/man1)) then |
mkdir -p man/man1 | mkdir -p man/man1 |