diff options
| author | Maria Matejka <mq@ucw.cz> | 2019-02-01 14:09:01 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2019-02-01 14:09:01 +0100 |
| commit | f9b97f1c6282be398d2c2bb896dbb453f638f720 (patch) | |
| tree | 91add98e581cc45c510ec943e847fe7ec4040958 /proto/perf | |
| parent | a8d0f2516c1ee0372edfc607832ae78632e404ca (diff) | |
Perf: Added forgotten all-protocol options
Diffstat (limited to 'proto/perf')
| -rw-r--r-- | proto/perf/config.Y | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proto/perf/config.Y b/proto/perf/config.Y index 617b2233..60a96c11 100644 --- a/proto/perf/config.Y +++ b/proto/perf/config.Y @@ -38,6 +38,7 @@ perf_proto_start: proto_start PERF perf_proto: perf_proto_start proto_name '{' | perf_proto perf_proto_item ';' + | perf_proto proto_item ';' ; perf_proto_item: |