Overview
| Comment: | Added library path for representations |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
b4088b97798c80ac0b8187f5e08160f6 |
| User & Date: | gawthrop@users.sourceforge.net on 2000-05-19 14:19:46 |
| Other Links: | branch diff | manifest | tags |
Context
|
2000-05-19
| ||
| 14:30:03 | New SS labels check-in: 206e9b8484 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:19:46 | Added library path for representations check-in: b4088b9779 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 14:05:39 |
Added the set option Use case in place of if check-in: 3c86ed7bda user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/mtt from [03474df53e] to [6b77411601].
| ︙ | |||
11 12 13 14 15 16 17 18 19 20 21 22 23 24 | 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.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 ## Addded /usr/lib/libp2c.a to gcc ## ## Revision 1.240 2000/05/10 09:38:58 peterg |
| ︙ | |||
1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 | 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 | + + + + + + + + + + |
echo Removing all working files
rm -rf ../MTT_work
fi
exit
fi
# User defined representations
## Copy from library if not already here
if [ -f "$MTT_REP/$2_rep.make" ]; then
if [ -f "$2_rep.make" ]; then
echo Using $2_rep.make
else
echo Copying $2_rep.make from $MTT_REP
cp $MTT_REP/$2_rep.make .
fi
fi
if [ -f "$2_rep.make" ]; then
if [ -n "$4" ]; then
filename=$1_$2-$4.$3
else
filename=$1_$2.$3
fi
|
| ︙ |