diff options
Diffstat (limited to 'config')
| -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 bb3acbd515..7a0845ac0e 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -47,7 +47,6 @@ XENSTAT_XENTOP := @monitors@ LIBXENAPI_BINDINGS := @xenapi@ OCAML_TOOLS := @ocamltools@ FLASK_POLICY := @xsmpolicy@ -CONFIG_MINITERM := @miniterm@ CONFIG_LOMOUNT := @lomount@ CONFIG_OVMF := @ovmf@ CONFIG_ROMBIOS := @rombios@ |