From 42da4736c2078801c0a5ebbe3825086f9b8d25ea Mon Sep 17 00:00:00 2001

From: "Richard W.M. Jones" <rjones@redhat.com>

Date: Tue, 12 Apr 2022 11:53:45 +0100

Subject: [PATCH] output: Remove unused dummy.c

MIME-Version: 1.0

Content-Type: text/plain; charset=UTF-8

Content-Transfer-Encoding: 8bit

This was removed when I removed -o json support, but I did not delete

the file from git.  “make maintainer-check-extra-dist” complained

about this.

Fixes: commit 4e6b389b4e27c8d13e57fcaf777d96ad7e08650b

(cherry picked from commit 0a1286df1725560e2789134d12022fc52572f9b0)

---

 output/dummy.c | 2 --

 1 file changed, 2 deletions(-)

 delete mode 100644 output/dummy.c

diff --git a/output/dummy.c b/output/dummy.c

deleted file mode 100644

index ebab6198..00000000

--- a/output/dummy.c

+++ /dev/null

@@ -1,2 +0,0 @@

-/* Dummy source, to be used for OCaml-based tools with no C sources. */

-enum { foo = 1 };