Overview
| Comment: | Don't check files when using -s |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
1d64bc4e6f658ece2224c958f54f1c19 |
| User & Date: | gawthrop@users.sourceforge.net on 2005-02-18 16:59:02 |
| Other Links: | branch diff | manifest | tags |
Context
|
2005-02-18
| ||
| 17:26:35 | This file should not be here. check-in: 319826c819 user: geraint@users.sourceforge.net tags: origin/master, trunk | |
| 16:59:02 | Don't check files when using -s check-in: 1d64bc4e6f user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:45:09 | typo. check-in: 89c3da4685 user: geraint@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/mtt from [d18eed7c6b] to [036c19267e].
| ︙ | ︙ | |||
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.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 | > > > | 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 |
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`
| | | 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 ]&&[ -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
|
| ︙ | ︙ |