9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
+
+
+
+
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.12 2004/09/02 22:06:09 geraint
## Does not issue warnings about Reduce reserved words if the
## second argument (use_reduce) is "no".
##
## Revision 1.11 2002/04/28 18:41:27 geraint
## Fixed [ 549658 ] awk should be gawk.
## Replaced calls to awk with call to gawk.
##
## Revision 1.10 2001/07/28 21:10:18 geraint
## Generate warning instead of error if reserved word used.
##
|
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
-
+
|
printf("%s%s", comma, sysname[j]);
comma=",";
}
printf("\n")
}' < mtt_sympar.txt >$filename
if [ ! "${use_reduce}" == "no" ]; then
if [ ! "${use_reduce}" = "no" ]; then
reserved_words=`\
cat ${MTT_LIB}/reduce/reserved_words.txt |\
gawk '{printf "%s ", $0}' |\
tr [a-z] [A-Z]`
sympar_words=`\
cat ${filename} |\
cut -f1 |\
|