commit | 6c22ea9d83ca91a3f5453d2699381a901f144ab5 | [log] [tgz] |
---|---|---|
author | Julio Montes <julio.montes@intel.com> | Fri Jul 05 14:35:53 2019 +0000 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Fri Jul 05 22:19:58 2019 +0200 |
tree | ff328fbedc8f6377de79bfb4a06fe30d3a653db3 | |
parent | ec7b1bbd2c470d8766b61617bd4d8ba46aa2056b [diff] |
Makefile: generate header file with the list of devices enabled v2: generate config-devices.h which contains the list of devices enabled Message-Id: <20190705143554.10295-1-julio.montes@intel.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Julio Montes <julio.montes@intel.com>