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>
This commit is contained in:
Julio Montes 2019-07-05 14:35:53 +00:00 committed by Paolo Bonzini
parent ec7b1bbd2c
commit 6c22ea9d83
2 changed files with 6 additions and 0 deletions

View file

@ -58,6 +58,8 @@ case $line in
name=${line%=*}
echo "#define $name 1"
;;
CONFIG_*=n) # configuration
;;
CONFIG_*=*) # configuration
name=${line%=*}
value=${line#*=}