diff options
Diffstat (limited to 'scripts/serd_bench.py')
| -rwxr-xr-x | scripts/serd_bench.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/serd_bench.py b/scripts/serd_bench.py index 35869ce6..3d1ef4ac 100755 --- a/scripts/serd_bench.py +++ b/scripts/serd_bench.py @@ -278,7 +278,7 @@ example: serd_opts = "-I turtle -I verbatim -O turtle -O verbatim -O expanded" progs = [ - "tools/serd-pipe " + serd_opts, + "tools/serd-pipe -I lax " + serd_opts, "tools/serd-sort " + serd_opts, ] + args.run |