From 87ada41360ec47118e3847637b6c746060e60be8 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 27 Jan 2010 16:31:25 +0000
Subject: Revised handling of #pragma section and small data areas

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

(limited to 'driver/Clflags.ml')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index c6f6e8fe..ddcfaac4 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -24,3 +24,9 @@ let option_E = ref false
 let option_S = ref false
 let option_c = ref false
 let option_v = ref false
+let option_small_data = 
+  ref (if Configuration.arch = "powerpc"
+       && Configuration.variant = "eabi"
+       && Configuration.system = "diab"
+       then 8 else 0)
+let option_small_const = ref (!option_small_data)
-- 
cgit