From a9578873a5bdf14c47650cc3dd9d21e3bcef2370 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 10 Mar 2011 10:12:09 +0000
Subject: Revised signed/unsigned char handling.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ad01271..af61fcb 100644
--- a/Makefile
+++ b/Makefile
@@ -150,7 +150,6 @@ driver/Configuration.ml: Makefile.config
          echo 'let arch = "$(ARCH)"'; \
          echo 'let variant = "$(VARIANT)"'; \
          echo 'let system = "$(SYSTEM)"'; \
-         echo 'let signed_char = $(SIGNED_CHAR)'; \
          echo 'let need_stdlib_wrapper = $(NEED_STDLIB_WRAPPER)') \
         > driver/Configuration.ml
 
-- 
cgit v1.2.3