diff options
Diffstat (limited to 'Utilities/Scripts/regenerate-parsers.bash')
| -rwxr-xr-x | Utilities/Scripts/regenerate-parsers.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Utilities/Scripts/regenerate-parsers.bash b/Utilities/Scripts/regenerate-parsers.bash index 6fb35c0..964ed0e 100755 --- a/Utilities/Scripts/regenerate-parsers.bash +++ b/Utilities/Scripts/regenerate-parsers.bash @@ -22,7 +22,7 @@ do if [[ (${in_file} -nt ${cxx_file}) || (${in_file} -nt ${h_file}) || (${forced} -gt 0) ]]; then echo "Generating Parser ${parser}" - bison --yacc --name-prefix=${prefix} --defines=${h_file} -o${cxx_file} ${in_file} + bison --name-prefix=${prefix} --defines=${h_file} -o${cxx_file} ${in_file} sed -i '/\/\* Else will try to reuse/ i\ #if 0 /^yyerrlab1:/ a\ |