diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2010-05-26 16:08:25 +0200 |
---|---|---|
committer | Aurelien Jarno <aurelien@aurel32.net> | 2010-06-10 00:09:49 +0200 |
commit | 1dabe05ce40010588a7b2485219a2692fe1e7472 (patch) | |
tree | 9a5368e8860843db23d75900152dbbd7fcbf922b /create_config | |
parent | 99d7cc75dd1f1167a02294804f993deb354d8159 (diff) |
configure: expand ${prefix} in create_config
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
Diffstat (limited to 'create_config')
-rwxr-xr-x | create_config | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/create_config b/create_config index edcad254d3..23c0cd51f7 100755 --- a/create_config +++ b/create_config @@ -13,6 +13,15 @@ case $line in pkgversion=${line#*=} echo "#define QEMU_PKGVERSION \"$pkgversion\"" ;; + prefix=* | *dir=*) # directory configuration + name=${line%=*} + value=${line#*=} + define_name=`echo $name | tr '[:lower:]' '[:upper:]'` + eval "define_value=\"$value\"" + echo "#define CONFIG_QEMU_$define_name \"$define_value\"" + # save for the next definitions + eval "$name=\$define_value" + ;; CONFIG_AUDIO_DRIVERS=*) drivers=${line#*=} echo "#define CONFIG_AUDIO_DRIVERS \\" |