diff options
| author | Roger Pau Monne <roger.pau@citrix.com> | 2018-03-28 08:34:14 +0100 |
|---|---|---|
| committer | Wei Liu <wei.liu2@citrix.com> | 2018-04-01 18:15:32 +0100 |
| commit | 641f9ce2fab1b85479c564d9b27dfeb18a93ed87 (patch) | |
| tree | 27b6b4c7b9ac0266ecc6e72db5918bc70123bdf8 /config/Paths.mk.in | |
| parent | c31d3f1ff660173bf8b2c8956c009de1279b0e1c (diff) | |
| download | xen-641f9ce2fab1b85479c564d9b27dfeb18a93ed87.tar.gz | |
tools: set DEBUG_DIR from configure
Allow the path to be set from a configure command line option.
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
[ wei: run autogen.sh ]
Diffstat (limited to 'config/Paths.mk.in')
| -rw-r--r-- | config/Paths.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Paths.mk.in b/config/Paths.mk.in index a603295146..8a518d5a5d 100644 --- a/config/Paths.mk.in +++ b/config/Paths.mk.in @@ -51,6 +51,7 @@ BASH_COMPLETION_DIR := $(CONFIG_DIR)/bash_completion.d XEN_LOCK_DIR := @XEN_LOCK_DIR@ XEN_PAGING_DIR := @XEN_PAGING_DIR@ XEN_DUMP_DIR := @XEN_DUMP_DIR@ +DEBUG_DIR := @DEBUG_DIR@ XENFIRMWAREDIR := @XENFIRMWAREDIR@ |