From 5d84e6862562eb14fe489c297864e660ace12418 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 2 Nov 2009 10:42:56 +0000
Subject: Simplified the treatment of the PowerPC small data area; now more
 specific to the Diab toolchain.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1165 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Driver.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 77f8b828..30d4a6cc 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -264,7 +264,6 @@ Preprocessing options:
 Compilation options:
   -flonglong     Treat 'long long' as 'long' and 'long double' as 'double'
   -fmadd         Use fused multiply-add and multiply-sub instructions
-  -fsda          Use small data area
   -dclight       Save generated Clight in <file>.light.c
   -dasm          Save generated assembly in <file>.s
 Linking options:
@@ -304,10 +303,6 @@ let rec parse_cmdline i =
       option_fmadd := true;
       parse_cmdline (i + 1)
     end else
-    if s = "-fsda" then begin
-      option_fsda := true;
-      parse_cmdline (i + 1)
-    end else
     if s = "-dclight" then begin
       option_dclight := true;
       parse_cmdline (i + 1)
-- 
cgit