[cleanup] _tags: less folder included

MLstate · Oct 26, 2012 · d0cb5e8 · d0cb5e8
1 parent d41e353
commit d0cb5e8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/_tags b/_tags
@@ -12,7 +12,7 @@
 <**/*>: -include, -traverse
 
 # Subdirectories to include
-<{ocamllib,compiler,lib,lib/plugins,tools,tools/build}>: include
+<{ocamllib,compiler,lib,tools}>: include
 
 # Warnings
 <**/*.ml>: warn_L, warn_Z, warn_error_A
diff --git a/tools/_tags b/tools/_tags
@@ -5,6 +5,8 @@
 
 <dependencies>: -include, -traverse
 
+<build>: include
+
 # Odep
 <odep*.{ml,byte,native}>: thread, use_str, use_unix, use_graph, use_zip, use_libbase, use_ulex