summaryrefslogtreecommitdiff
path: root/build-binary-dist.sh
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-02-10 13:38:24 +0000
committerhallgren <hallgren@chalmers.se>2012-02-10 13:38:24 +0000
commitd8958ed68d1b315d9a49ca45f4db3a7472d36cbb (patch)
treee752d3721f62df1411af71ae04008e2a33bf8035 /build-binary-dist.sh
parent9dfab3d1878b96dc138387adb5ef3df593dff29e (diff)
gfse: bug fix: syntax check in concrete syntax wasn't working
In newer versions of GF the shell says "syntax error" instead of "parse error".
Diffstat (limited to 'build-binary-dist.sh')
0 files changed, 0 insertions, 0 deletions