From 0c80820c3850fa2b0713f7519c7085e949cc7cb2 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 22 Nov 2014 14:28:52 +0100
Subject: Remove ocamlbuild configuration files, no longer used.

---
 _tags | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 _tags

(limited to '_tags')

diff --git a/_tags b/_tags
deleted file mode 100644
index 0d83f2fa..00000000
--- a/_tags
+++ /dev/null
@@ -1,9 +0,0 @@
-true: use_menhir
-<**/*.cmx>: debug
-<**/*.native>: debug
-<driver/Driver.*{byte,native}>: use_unix,use_str
-<exportclight/Clightgen.*{byte,native}>: use_unix,use_str
-<checklink/*.ml>: pkg_bitstring
-<checklink/Validator.*{byte,native}>: pkg_unix,pkg_str,pkg_bitstring
-<extraction/*.ml>: warn(-20)
-<**/*.ml>: warn(-3)
-- 
cgit