Overview
| Comment: | Changes to state rep - now has parameter |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
655e55a966defb9b4adc43c396f38537 |
| User & Date: | gawthrop@users.sourceforge.net on 2000-05-19 17:50:10.000 |
| Other Links: | branch diff | manifest | tags |
Context
|
2000-05-19
| ||
| 17:52:09 | Initial revision check-in: 475047faae user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 17:50:10 | Changes to state rep - now has parameter check-in: 655e55a966 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 17:48:16 | Argument to state check-in: e1647a4805 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/mtt
from [6b77411601]
to [29590247bb].
| ︙ | ︙ | |||
11 12 13 14 15 16 17 18 19 20 21 22 23 24 | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Header$ ## $Log$ ## Revision 1.243 2000/05/19 11:36:36 peterg ## Added logic rep. ## ## Revision 1.242 2000/05/18 20:12:02 peterg ## Version 4.2 ## ## Revision 1.241 2000/05/16 11:42:14 peterg | > > > | 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Header$ ## $Log$ ## Revision 1.244 2000/05/19 14:19:46 peterg ## Added library path for representations ## ## Revision 1.243 2000/05/19 11:36:36 peterg ## Added logic rep. ## ## Revision 1.242 2000/05/18 20:12:02 peterg ## Version 4.2 ## ## Revision 1.241 2000/05/16 11:42:14 peterg |
| ︙ | ︙ | |||
1480 1481 1482 1483 1484 1485 1486 |
else
filename=$1_$2.$3
fi
if [ -f "$filename" ]; then
echo $filename exists
else
| > | > | | 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 |
else
filename=$1_$2.$3
fi
if [ -f "$filename" ]; then
echo $filename exists
else
if [ -n "$Verbose" ]; then
echo make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$4"
fi
make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$"
if [ -n "$4" ]; then
echo Copying $1_$2$__ARGS.ps
cp $1_$2$__ARGS.ps ..
fi
fi
exit
fi
|
| ︙ | ︙ |