diff options
| author | Akira Yokosawa <[email protected]> | 2020-06-24 06:56:43 +0900 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2020-06-29 12:05:18 -0700 |
| commit | 2bfa5c62debe43e3779e03bfc66b75ab72098db1 (patch) | |
| tree | f2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8c /tools/perf/scripts/python/syscall-counts-by-pid.py | |
| parent | d075a78a5ab19389d5600923d6ad5391d7cd1be8 (diff) | |
tools/memory-model/README: Mention herdtools7 7.56 in compatibility table
herdtools7 7.56 is going to be released in the week of 22 Jun 2020.
This commit therefore adds the exact version in the compatibility table.
Acked-by: Andrea Parri <[email protected]>
Signed-off-by: Akira Yokosawa <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/syscall-counts-by-pid.py')
0 files changed, 0 insertions, 0 deletions