diff options
| author | Wei Liu <wei.liu2@citrix.com> | 2017-04-18 15:20:03 +0100 |
|---|---|---|
| committer | Wei Liu <wei.liu2@citrix.com> | 2017-04-20 12:02:53 +0100 |
| commit | c5fc41a10de6217774b4c44ff7977be437263a1b (patch) | |
| tree | 8b6b4c8a7a2793ba8a45011bbf5b7ac20f754e16 /docs/configure | |
| parent | f97838bbd980a0104e16c4a12fbf514f9fa805f1 (diff) | |
| download | xen-c5fc41a10de6217774b4c44ff7977be437263a1b.tar.gz | |
paths.m4: provide XENSTORED_{KVA,PORT}
The default values are Linux device names. No users yet.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Christian Lindig <christian.lindig@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
Diffstat (limited to 'docs/configure')
| -rwxr-xr-x | docs/configure | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/configure b/docs/configure index d05b9a8058..5db298987c 100755 --- a/docs/configure +++ b/docs/configure @@ -613,6 +613,8 @@ LIBEXEC_LIB LIBEXEC_BIN LIBEXEC CONFIG_LEAF_DIR +XENSTORED_PORT +XENSTORED_KVA target_alias host_alias build_alias @@ -1781,6 +1783,18 @@ ac_configure="$SHELL $ac_aux_dir/configure" # Please don't use this var. +case "$host_os" in +*freebsd*) XENSTORED_KVA=/dev/xen/xenstored ;; +*) XENSTORED_KVA=/proc/xen/xsd_kva ;; +esac + + +case "$host_os" in +*freebsd*) XENSTORED_PORT=/dev/xen/xenstored ;; +*) XENSTORED_PORT=/proc/xen/xsd_port ;; +esac + + test "x$prefix" = "xNONE" && prefix=$ac_default_prefix |