diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/Tools.mk.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index dad7bd324f..69d5f698ad 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -31,7 +31,7 @@ GIT_HTTP := @githttp@ # Optional components XENSTAT_XENTOP := @monitors@ VTPM_TOOLS := @vtpm@ -LIBXENAPI_BINDINGS := @xapi@ +LIBXENAPI_BINDINGS := @xenapi@ PYTHON_TOOLS := @pythontools@ OCAML_TOOLS := @ocamltools@ CONFIG_MINITERM := @miniterm@ |