summaryrefslogtreecommitdiff
path: root/tools/memory-model
diff options
context:
space:
mode:
authorAkira Yokosawa <akiyks@gmail.com>2020-06-24 00:56:43 +0300
committerPaul E. McKenney <paulmck@kernel.org>2020-06-29 22:05:18 +0300
commit2bfa5c62debe43e3779e03bfc66b75ab72098db1 (patch)
treef2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8c /tools/memory-model
parentd075a78a5ab19389d5600923d6ad5391d7cd1be8 (diff)
downloadlinux-2bfa5c62debe43e3779e03bfc66b75ab72098db1.tar.xz
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 <parri.andrea@gmail.com> Signed-off-by: Akira Yokosawa <akiyks@gmail.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model')
-rw-r--r--tools/memory-model/README2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/memory-model/README b/tools/memory-model/README
index 90af203c3cf1..ecb7385376bf 100644
--- a/tools/memory-model/README
+++ b/tools/memory-model/README
@@ -54,7 +54,7 @@ klitmus7 Compatibility Table
-- 4.18 7.48 --
4.15 -- 4.19 7.49 --
4.20 -- 5.5 7.54 --
- 5.6 -- HEAD
+ 5.6 -- 7.56 --
============ ==========