]> asedeno.scripts.mit.edu Git - linux.git/commit
projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9393998) | patch
tools/memory-model: Avoid duplicating herdtools versions
authorAndrea Parri <andrea.parri@amarulasolutions.com>
Thu, 31 Jan 2019 16:08:40 +0000 (08:08 -0800)
committerPaul E. McKenney <paulmck@linux.ibm.com>
Mon, 18 Mar 2019 17:27:52 +0000 (10:27 -0700)
commit034fb712a620c84efa78e2889845d5dea95f688f
tree1b429a3f4128fda508f703cedf7c563904d9f1e9tree | snapshot
parent9393998e9ee094f99d18783cc85c489e20f0e0e7commit | diff
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>
tools/memory-model/README diff | blob | history
tools/memory-model/linux-kernel.cat diff | blob | history
tools/memory-model/lock.cat diff | blob | history
local clone of linux.git