version 1.64, 2011/02/17 20:11:23
|
version 1.65, 2011/02/17 23:15:55
|
|
|
rm ${LOCALIZATIONDIR}/custom.mk | rm ${LOCALIZATIONDIR}/custom.mk |
endif | endif |
| |
|
# Must create the scripts subdirectory before the call to gen_init.csh |
|
if (!(-d scripts)) then |
|
mkdir scripts |
|
endif |
|
|
if (!(-e configsdp.txt)) then | if (!(-e configsdp.txt)) then |
if (!(-e config.local)) then | if (!(-e config.local)) then |
echo "Error: config.local not found. If you have a saved version of this" | echo "Error: config.local not found. If you have a saved version of this" |
|
|
endif | endif |
| |
echo "Setting links to scripts..." | echo "Setting links to scripts..." |
if (!(-d scripts)) then |
|
mkdir scripts |
|
endif |
|
cd scripts | cd scripts |
| |
# Sums scripts | # Sums scripts |