diff options
| author | Julio Montes <julio.montes@intel.com> | 2019-07-05 14:35:53 +0000 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-07-05 22:19:58 +0200 |
| commit | 6c22ea9d83ca91a3f5453d2699381a901f144ab5 (patch) | |
| tree | ff328fbedc8f6377de79bfb4a06fe30d3a653db3 /tcg | |
| 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>
Diffstat (limited to 'tcg')
0 files changed, 0 insertions, 0 deletions