From fde0b735974cd288e3eb278f2ae337bcdaf2b703 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 18 Jul 2016 13:53:24 +0100 Subject: [PATCH] customize: Build virt-customize properly. Fixes commit 6a0fe553b9f5a0474f826a1978bf824f2b483887. --- customize/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/customize/Makefile.am b/customize/Makefile.am index 4befc7564..72d5f39d1 100644 --- a/customize/Makefile.am +++ b/customize/Makefile.am @@ -139,7 +139,7 @@ bin_PROGRAMS = virt-customize virt_customize_SOURCES = dummy.c CUSTOMIZE_BOBJECTS = customize_main.cmo -CUSTOMIZE_XOBJECTS = $(BOBJECTS:.cmo=.cmx) +CUSTOMIZE_XOBJECTS = $(CUSTOMIZE_BOBJECTS:.cmo=.cmx) if !HAVE_OCAMLOPT CUSTOMIZE_THEOBJECTS = $(CUSTOMIZE_BOBJECTS)