diff options
Diffstat (limited to 'Utilities')
| -rwxr-xr-x | Utilities/Scripts/regenerate-parsers.bash | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Utilities/Scripts/regenerate-parsers.bash b/Utilities/Scripts/regenerate-parsers.bash index 6fb35c028c..33b59f730e 100755 --- a/Utilities/Scripts/regenerate-parsers.bash +++ b/Utilities/Scripts/regenerate-parsers.bash @@ -22,12 +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} - sed -i '/\/\* Else will try to reuse/ i\ -#if 0 -/^yyerrlab1:/ a\ -#endif -' ${cxx_file} + bison --name-prefix=${prefix} --defines=${h_file} -o${cxx_file} ${in_file} else echo "Skipped generating Parser ${parser}" fi |