diff options
| author | Andrea Parri <andrea.parri@amarulasolutions.com> | 2019-01-31 17:08:40 +0100 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-03-18 18:27:52 +0100 |
| commit | 034fb712a620c84efa78e2889845d5dea95f688f (patch) | |
| tree | 1b429a3f4128fda508f703cedf7c563904d9f1e9 /tools/memory-model/linux-kernel.cat | |
| parent | tools/memory-model: Dynamically check SRCU lock-to-unlock matching (diff) | |
| download | linux-034fb712a620c84efa78e2889845d5dea95f688f.tar.xz linux-034fb712a620c84efa78e2889845d5dea95f688f.zip | |
tools/memory-model: Avoid duplicating herdtools versions
Currently, herdtools version information appears no fewer than three
times in the LKMM source, which is difficult to maintain. This commit
therefore places the required version in one place, namely the
tools/memory-model/README file.
Signed-off-by: Andrea Parri <andrea.parri@amarulasolutions.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Acked-by: Alan Stern <stern@rowland.harvard.edu>
Diffstat (limited to 'tools/memory-model/linux-kernel.cat')
| -rw-r--r-- | tools/memory-model/linux-kernel.cat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/memory-model/linux-kernel.cat b/tools/memory-model/linux-kernel.cat index 95bf45f1215f..8dcb37835b61 100644 --- a/tools/memory-model/linux-kernel.cat +++ b/tools/memory-model/linux-kernel.cat @@ -1,7 +1,5 @@ // SPDX-License-Identifier: GPL-2.0+ (* - * Requires herd version 7.51+6 or higher. - * * Copyright (C) 2015 Jade Alglave <j.alglave@ucl.ac.uk>, * Copyright (C) 2016 Luc Maranget <luc.maranget@inria.fr> for Inria * Copyright (C) 2017 Alan Stern <stern@rowland.harvard.edu>, |