mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
Place the PID file under XEN_RUN_DIR. Note that this change the default location from /var/run to /var/run/xen. Generate a _paths.h as that is required to make this change work. Signed-off-by: Wei Liu <wei.liu2@citrix.com> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>