diff options
| author |   Paul E. McKenney <paulmck@kernel.org> | 2019-06-06 02:13:27 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:15 -0700 |
| commit | 72b5f102f855d789ee1e733edfc6a40313d11f1b (patch) | |
| tree | a974ac1ed4ceac43b060e48134b7aec0f093d97f /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | tools/memory-model: Add data-race capabilities to judgelitmus.sh (diff) | |
| download | wireguard-linux-72b5f102f855d789ee1e733edfc6a40313d11f1b.tar.xz wireguard-linux-72b5f102f855d789ee1e733edfc6a40313d11f1b.zip | |
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