From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:25:25 +0000
Subject: Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil/bin/CilConfig.pm.in | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 cil/bin/CilConfig.pm.in

(limited to 'cil/bin/CilConfig.pm.in')

diff --git a/cil/bin/CilConfig.pm.in b/cil/bin/CilConfig.pm.in
deleted file mode 100644
index 94241b19..00000000
--- a/cil/bin/CilConfig.pm.in
+++ /dev/null
@@ -1,6 +0,0 @@
-
-$::archos    = "@ARCHOS@";
-$::cc        = "@CC@";
-$::cilhome   = "@CILHOME@";
-$::default_mode = "@DEFAULT_CIL_MODE@";
-
-- 
cgit