diff options
Diffstat (limited to 'lib/generate_errors.sh')
| -rwxr-xr-x | lib/generate_errors.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/generate_errors.sh b/lib/generate_errors.sh deleted file mode 100755 index 3cff769..0000000 --- a/lib/generate_errors.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -# Generate the error file with the helper messages. This script is required -# when the syntax is modified because menhir will change the state number and -# we need to make it match with the comment in the messages. - -menhir --list-errors *.mly --base parser.mly > all_errors -menhir --merge-errors expression_parser.messages --merge-errors all_errors *.mly --base parser.mly > expression_parser.messages_new |