diff options
| author | Andrea Parri <[email protected]> | 2019-01-31 08:08:40 -0800 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2019-03-18 10:27:52 -0700 |
| commit | 034fb712a620c84efa78e2889845d5dea95f688f (patch) | |
| tree | 1b429a3f4128fda508f703cedf7c563904d9f1e9 /tools/perf/scripts/python/export-to-postgresql.py | |
| 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 <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Acked-by: Alan Stern <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions