13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
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.407 2005/02/17 18:36:38 geraint
## Removed a bash-ism: replaced [[ conditional ]] with [ conditional ]
##
## 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
|
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
|
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
2337
|
-
+
|
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
if [ $nabgs -eq 0 ]&&[ -z "$sensitivity" ]; then
echo "MTT Error: System $sys does not exist"
exit -1;
fi
fi
mkdir -p MTT_work
valid_files=`ls | grep -v '^MTT'`
##cp -p -u Makefile Make *.* .* MTT_work 2>/dev/null
|