| commit | 034fb712a620c84efa78e2889845d5dea95f688f | [log] [tgz] |
|---|---|---|
| author | Andrea Parri <andrea.parri@amarulasolutions.com> | Thu Jan 31 08:08:40 2019 -0800 |
| committer | Paul E. McKenney <paulmck@linux.ibm.com> | Mon Mar 18 10:27:52 2019 -0700 |
| tree | 1b429a3f4128fda508f703cedf7c563904d9f1e9 | |
| parent | 9393998e9ee094f99d18783cc85c489e20f0e0e7 [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>