aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAkira Yokosawa <akiyks@gmail.com>2020-06-24 06:56:43 +0900
committerPaul E. McKenney <paulmck@kernel.org>2020-06-29 12:05:18 -0700
commit2bfa5c62debe43e3779e03bfc66b75ab72098db1 (patch)
treef2ddb93ccaf28a10d86af4c9f3bec3fa0f5a7e8c
parenttools/memory-model/README: Expand dependency of klitmus7 (diff)
downloadlinux-rng-2bfa5c62debe43e3779e03bfc66b75ab72098db1.tar.xz
linux-rng-2bfa5c62debe43e3779e03bfc66b75ab72098db1.zip
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>
-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 --
============ ==========