From c09fd5d5b2d8462549a7bb257834ceae9f25857e Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 3 Aug 2020 21:57:41 +0100
Subject: [PATCH] Simpler way to enable -g (also enables it for executables).

---
 cil-1.7.3-enable-ocamlopt-g.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cil-1.7.3-enable-ocamlopt-g.patch b/cil-1.7.3-enable-ocamlopt-g.patch
index 4098d57..399146b 100644
--- a/cil-1.7.3-enable-ocamlopt-g.patch
+++ b/cil-1.7.3-enable-ocamlopt-g.patch
@@ -4,4 +4,4 @@
  "test": not_hygienic
  # build every cmo in debug mode (for cil.cma)
  <**/*.cmo>: debug
-+<**/*.cmx>: debug
++true: debug