diff options
Diffstat (limited to 'rules/bin/mln_s.sh')
| -rwxr-xr-x | rules/bin/mln_s.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules/bin/mln_s.sh b/rules/bin/mln_s.sh index 67fd8a06..1eb89e69 100755 --- a/rules/bin/mln_s.sh +++ b/rules/bin/mln_s.sh @@ -5,7 +5,7 @@ variant=$1 INDIR=$2 OUTFILE=base.ml${variant}_s.part -> $OUTFILE +echo "! model layout[$variant] = symbols" > $OUTFILE awk '{ if (index($2, "(") == 0) { |