tree 5adb70b386bbb8274563afc23bd2938be86197dc
parent 93e9e2d6a8b31c63896aa287d3b3314195017249
author Andre Przywara <andre.przywara@arm.com> 1548439679 +0000
committer Will Deacon <will.deacon@arm.com> 1549017344 +0000

Makefile: Remove echoing of kvmtools version file

On every build we report the kvmtool "version" number, which isn't
meaningful at all anymore.

Remove the line from the KVMTOOLS-VERSION-GEN script to drop a
pointless message.

Signed-off-by: Andre Przywara <andre.przywara@arm.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>