From ba9cd4f93ef991fa3794d333e8da19878df06e2d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 4 Sep 2010 09:29:08 +0000
Subject: Simplified stdlib wrapper; use it only under MacOS X

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1502 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 958bf9d..4237f2a 100644
--- a/Makefile
+++ b/Makefile
@@ -142,7 +142,8 @@ driver/Configuration.ml: Makefile.config
          echo 'let linker = "$(CLINKER)"'; \
          echo 'let arch = "$(ARCH)"'; \
          echo 'let variant = "$(VARIANT)"'; \
-         echo 'let system = "$(SYSTEM)"') \
+         echo 'let system = "$(SYSTEM)"'; \
+         echo 'let need_stdlib_wrapper = $(NEED_STDLIB_WRAPPER)') \
         > driver/Configuration.ml
 
 depend: $(FILES)
-- 
cgit v1.2.3