From 891377ce1962cdb31357d6580d6546ec22df2b4f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:22:27 +0000
Subject: Switching to the new C parser/elaborator/simplifier

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 _tags | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 _tags

(limited to '_tags')

diff --git a/_tags b/_tags
new file mode 100644
index 0000000..6753f3e
--- /dev/null
+++ b/_tags
@@ -0,0 +1,2 @@
+<cparser/*.cmx>: for-pack(Cparser)
+<driver/Driver.*{byte,native}>: use_unix,use_str,use_Cparser
-- 
cgit v1.2.3