x86/cpuid: fix generation of auto cpuid header
authorRoger Pau Monne <roger.pau@citrix.com>
Wed, 27 Jun 2018 14:33:00 +0000 (16:33 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 28 Jun 2018 07:27:03 +0000 (09:27 +0200)
commit3d137ad3b0cf5b2283b257fd33678dc083428271
tree78ff4d4aad06aac2eed829df2f52a0ad02cb8f8f
parent6e36e365e0a966a7c9b0e99f1eed7185fd62fcbc
x86/cpuid: fix generation of auto cpuid header

The makefile rule to generate the cpuid-autogen.h header passes the
whole list of dependencies to gen-cpuid.py but only the first
dependency is actually needed.

So far this seems to be harmless.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
xen/include/Makefile