diff options
Diffstat (limited to 'tools/configure')
| -rwxr-xr-x | tools/configure | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 4be39fca34..d916cb61ad 100755 --- a/tools/configure +++ b/tools/configure @@ -654,6 +654,7 @@ APPEND_LIB APPEND_INCLUDES PREPEND_LIB PREPEND_INCLUDES +seabios_path qemu_xen qemu_traditional blktap1 @@ -738,6 +739,7 @@ enable_xend enable_blktap1 enable_qemu_traditional with_system_qemu +with_system_seabios ' ac_precious_vars='build_alias host_alias @@ -1409,6 +1411,9 @@ Optional Packages: Use system supplied qemu PATH or qemu (taken from $PATH) as qemu-xen device model instead of building and installing our own version + --with-system-seabios[=PATH] + Use system supplied seabios PATH instead of building + and installing our own version Some influential environment variables: CC C compiler command @@ -3727,6 +3732,19 @@ fi +# Check whether --with-system-seabios was given. +if test "${with_system_seabios+set}" = set; then : + withval=$with_system_seabios; + case $withval in + no) seabios_path= ;; + *) seabios_path=$withval ;; + esac + +fi + + + + |