diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-06-06 12:13:27 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 20:24:15 +0300 |
| commit | 72b5f102f855d789ee1e733edfc6a40313d11f1b (patch) | |
| tree | a974ac1ed4ceac43b060e48134b7aec0f093d97f /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 68f7bcab87eb47e7f9ca71ddca7fb976b92bc3a9 (diff) | |
| download | linux-72b5f102f855d789ee1e733edfc6a40313d11f1b.tar.xz | |
tools/memory-model: Make judgelitmus.sh handle scripted Result: tag
The scripts that generate the litmus tests in the "auto" directory of
the https://github.com/paulmckrcu/litmus archive place the "Result:"
tag into a single-line ocaml comment, which judgelitmus.sh currently
does not recognize. This commit therefore makes judgelitmus.sh
recognize both the multiline comment format that it currently does
and the automatically generated single-line format.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions