From 5eabcdb9fd9194d9d8637a53fac644981b871457 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 23 Nov 2017 18:43:51 +0000
Subject: [PATCH] v2v: Add generator_built and BUILT_SOURCES listing generated
 files.

Fixes commit 0c396650b0018dc3fcd7ca809202ad46ae2c327d.
---
 v2v/Makefile.am | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/v2v/Makefile.am b/v2v/Makefile.am
index 6d90faf00..9e07cd218 100644
--- a/v2v/Makefile.am
+++ b/v2v/Makefile.am
@@ -17,6 +17,13 @@
 
 include $(top_srcdir)/subdir-rules.mk
 
+generator_built = \
+	uefi.ml \
+	uefi.mli
+
+BUILT_SOURCES = \
+	$(generator_built)
+
 EXTRA_DIST = \
 	$(SOURCES_MLI) $(SOURCES_ML) $(SOURCES_C) \
 	copy_to_local.ml \