diff options
Diffstat (limited to 'config/Tools.mk.in')
-rw-r--r-- | config/Tools.mk.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index b6bdad0915..21ad0ef270 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -45,7 +45,6 @@ GIT_HTTP := @githttp@ XENSTAT_XENTOP := @monitors@ VTPM_TOOLS := @vtpm@ LIBXENAPI_BINDINGS := @xenapi@ -PYTHON_TOOLS := @pythontools@ OCAML_TOOLS := @ocamltools@ CONFIG_MINITERM := @miniterm@ CONFIG_LOMOUNT := @lomount@ |