From eba1a2fc06f269191407b734779b60b2e012b8e7 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 29 Feb 2012 10:01:18 +0000
Subject: Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt>

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1832 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 95f42092..2eb41477 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -14,6 +14,7 @@
 
 let prepro_options = ref ([]: string list)
 let linker_options = ref ([]: string list)
+let assembler_options = ref ([]: string list)
 let exe_name = ref "a.out"
 let option_flonglong = ref true
 let option_flongdouble = ref false
-- 
cgit