From 3ccc93675292bf9a44ac0d7111d3f44981e1f56d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 1 Nov 2009 16:51:47 +0000
Subject: Preliminary support for small data area in PowerPC port.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1163 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 08e4a53..81d4af3 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -17,6 +17,7 @@ let linker_options = ref ([]: string list)
 let exe_name = ref "a.out"
 let option_flonglong = ref false
 let option_fmadd = ref false
+let option_fsda = ref false
 let option_dclight = ref false
 let option_dasm = ref false
 let option_E = ref false
-- 
cgit v1.2.3