From b08076bc71c7813038f2cefedff9c5b678d225a8 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sat, 3 Sep 2011 20:06:06 +0000
Subject: Bug 3596: ocamlbuild: coq_makefile now requires Unix

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14447 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 _tags | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_tags b/_tags
index b2205cde61..8e2d76ff5c 100644
--- a/_tags
+++ b/_tags
@@ -6,7 +6,7 @@
 <tools/coqdep_boot.{native,byte}> : use_unix
 <tools/coqdep.{native,byte}> : use_unix, use_dynlink, use_camlpX
 <tools/coq_tex.{native,byte}> : use_str
-<tools/coq_makefile.{native,byte}> : use_str
+<tools/coq_makefile.{native,byte}> : use_str, use_unix
 <tools/coqdoc/main.{native,byte}> : use_str
 <ide/coqide_main.{native,byte}> : use_str, use_unix, thread, ide
 <checker/main.{native,byte}> : use_str, use_unix, use_dynlink, use_camlpX
-- 
cgit v1.2.3