13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Copyright (C) 2001 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.405 2005/01/06 12:47:53 geraint
## Fixed generation of sese.r with -make-sort option.
##
## Revision 1.404 2004/09/10 21:05:15 geraint
## Ensure that the system exists before proceeding.
## This should stop me from copying my home directory to MTT_work.
##
|
>
>
>
|
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Copyright (C) 2001 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.406 2005/01/06 15:36:06 geraint
## Tidied output of options.
##
## Revision 1.405 2005/01/06 12:47:53 geraint
## Fixed generation of sese.r with -make-sort option.
##
## Revision 1.404 2004/09/10 21:05:15 geraint
## Ensure that the system exists before proceeding.
## This should stop me from copying my home directory to MTT_work.
##
|
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
|
read_file_name=`basename ${read_file}`
touch ${read_file_name}
done
done
fi
# Tidy mode - operate in the directory MTT-work
if [[ "$tidy" = "tidy" && "$level" = "0" ]]; then
# make sure that a system exists in this directory
if [ "${sys}_${rep}.${lang}" != "${sys}_abg.dia" ] && [ "${sys}_${rep}.${lang}" != "${sys}_abg.fig" ]; then
nabgs=`ls ${sys}_abg.* 2>/dev/null | wc -l`
if [ $nabgs -eq 0 ]; then
echo "MTT Error: System $sys does not exist"
exit -1;
fi
|
|
|
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
|
read_file_name=`basename ${read_file}`
touch ${read_file_name}
done
done
fi
# Tidy mode - operate in the directory MTT-work
if [ "$tidy" = "tidy" ] && [ "$level" = "0" ]; then
# make sure that a system exists in this directory
if [ "${sys}_${rep}.${lang}" != "${sys}_abg.dia" ] && [ "${sys}_${rep}.${lang}" != "${sys}_abg.fig" ]; then
nabgs=`ls ${sys}_abg.* 2>/dev/null | wc -l`
if [ $nabgs -eq 0 ]; then
echo "MTT Error: System $sys does not exist"
exit -1;
fi
|