11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.4 1998/04/14 18:17:15 peterg
## More messages about Makefile
##
## Revision 1.3 1998/04/14 18:01:04 peterg
## Now executes a Makefile (if it exists)
##
# Revision 1.2 1997/12/06 14:27:53 peterg
|
>
>
>
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.5 2000/11/27 10:13:25 peterg
## Now passes though options as second argument
##
## Revision 1.4 1998/04/14 18:17:15 peterg
## More messages about Makefile
##
## Revision 1.3 1998/04/14 18:01:04 peterg
## Now executes a Makefile (if it exists)
##
# Revision 1.2 1997/12/06 14:27:53 peterg
|
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
# Check for old (2 arg) version and update if necessary
mtt_count=`strip_comments < $1_rep.txt | grep -c 'mtt '`
if [ "$mtt_count" = "0" ]; then
echo 'Hmm .. seems to be an old format. creating new file'
echo "Old version saved as $1_rep.txt.SAVE"
mv $1_rep.txt $1_rep.txt.SAVE
strip_comments < $1_rep.txt.SAVE |\
awk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt
fi
# Execute the commands - quietly and untidily!
# But use switches
strip_comments< $1_rep.txt | sed "s/mtt /mtt -q -u $mtt_switches /" | tee -a JUNK | sh
echo "Done creating representations for $1_rep.tex"
|
|
|
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
# Check for old (2 arg) version and update if necessary
mtt_count=`strip_comments < $1_rep.txt | grep -c 'mtt '`
if [ "$mtt_count" = "0" ]; then
echo 'Hmm .. seems to be an old format. creating new file'
echo "Old version saved as $1_rep.txt.SAVE"
mv $1_rep.txt $1_rep.txt.SAVE
strip_comments < $1_rep.txt.SAVE |\
gawk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt
fi
# Execute the commands - quietly and untidily!
# But use switches
strip_comments< $1_rep.txt | sed "s/mtt /mtt -q -u $mtt_switches /" | tee -a JUNK | sh
echo "Done creating representations for $1_rep.tex"
|