From f692ee29c1ea8748120ca1a4cbb4cd7f1eb2531e Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 17 May 2013 08:18:07 +0000
Subject: Preliminary support for debugging info (-g).

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Clflags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Clflags.ml')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index ea8e8841..d70467ab 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -40,6 +40,7 @@ let option_dalloctrace = ref false
 let option_dmach = ref false
 let option_dasm = ref false
 let option_sdump = ref false
+let option_g = ref false
 let option_o = ref (None: string option)
 let option_E = ref false
 let option_S = ref false
-- 
cgit