stats: Correctly print new-style dist stat names
authorAndreas Sandberg <andreas.sandberg@arm.com>
Tue, 24 Sep 2019 17:44:13 +0000 (18:44 +0100)
committerAndreas Sandberg <andreas.sandberg@arm.com>
Thu, 26 Sep 2019 10:03:22 +0000 (10:03 +0000)
commit19017495eadba9dc05b0810cd66a4b90aa0743e0
tree34d9549f38d3d7e5183421818bcd4bdaa0b4a404
parentaff2cad4bed219a6827c26fd632c8cb3904752e6
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>
src/base/stats/text.cc