diff options
Diffstat (limited to 'Utilities/Scripts')
| -rwxr-xr-x | Utilities/Scripts/regenerate-parsers.bash | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Utilities/Scripts/regenerate-parsers.bash b/Utilities/Scripts/regenerate-parsers.bash index 964ed0e..33b59f7 100755 --- a/Utilities/Scripts/regenerate-parsers.bash +++ b/Utilities/Scripts/regenerate-parsers.bash @@ -23,11 +23,6 @@ do if [[ (${in_file} -nt ${cxx_file}) || (${in_file} -nt ${h_file}) || (${forced} -gt 0) ]]; then echo "Generating Parser ${parser}" bison --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} else echo "Skipped generating Parser ${parser}" fi |