tree 34d9549f38d3d7e5183421818bcd4bdaa0b4a404
parent aff2cad4bed219a6827c26fd632c8cb3904752e6
author Andreas Sandberg <andreas.sandberg@arm.com> 1569347053 +0100
committer Andreas Sandberg <andreas.sandberg@arm.com> 1569492202 +0000

stats: Correctly print new-style dist stat names

The text stat printer didn't output fully qualified names for
new-style dist stats. Fix that.

Change-Id: I61bc7403fbd760bbbb0641e8e593781e6d03a4ed
Signed-off-by: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/21162
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Bobby R. Bruce <bbruce@ucdavis.edu>