diff options
| author | Daniel Salzman <daniel.salzman@nic.cz> | 2015-12-11 16:59:21 +0100 |
|---|---|---|
| committer | Daniel Salzman <daniel.salzman@nic.cz> | 2015-12-18 16:09:00 +0100 |
| commit | 25f35912b220417dda0091a4ddf4c286af9d9112 (patch) | |
| tree | 152a4b221c73b25c04e6975b7a4051b16a089757 /scripts | |
| parent | Typo in AUTHORS, remove old e-mails (diff) | |
| download | knot-25f35912b220417dda0091a4ddf4c286af9d9112.tar.xz knot-25f35912b220417dda0091a4ddf4c286af9d9112.zip | |
zscanner: upgrade the API and add a state parsing support
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-parser.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/scripts/update-parser.sh b/scripts/update-parser.sh index 6e2444f28..7c5cf8cd8 100755 --- a/scripts/update-parser.sh +++ b/scripts/update-parser.sh @@ -13,8 +13,7 @@ ragel -T0 -s -o $OUT_T0 $IN # Remove redundant comments and unused constants (clang warnings). sed -i '/#line/d' $OUT_T0 -sed -i '/static\ const\ int\ zone_scanner_en_/d' $OUT_T0 -sed -i '/zone_scanner_first_final/d' $OUT_T0 +sed -i '/static\ const\ int\ zone_scanner_/d' $OUT_T0 # Remove trailing white spaces. sed -i 's/\s*$//g' $OUT_T0 @@ -24,8 +23,7 @@ ragel -G2 -s -o $OUT_G2 $IN # Remove redundant comments and unused constants (clang warnings). sed -i '/#line/d' $OUT_G2 -sed -i '/static\ const\ int\ zone_scanner_en_/d' $OUT_G2 -sed -i '/zone_scanner_first_final/d' $OUT_G2 +sed -i '/static\ const\ int\ zone_scanner_/d' $OUT_G2 # Remove trailing white spaces. sed -i 's/\s*$//g' $OUT_G2 |