From e4adec22d1525a4eb0b59285dc4c8c7d41d63128 Mon Sep 17 00:00:00 2001 From: letouzey Date: Tue, 29 May 2001 13:22:50 +0000 Subject: Chgt de MAKE= ... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1771 85f007b7-540e-0410-9357-904b9bb8a0f7 --- tools/coq_makefile.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index e0177396b..7a7813840 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -165,7 +165,7 @@ let variables l = in section "Variables definitions."; print "CAMLP4LIB=`camlp4 -where`\n"; - print "MAKE=make \"COQBIN=$(COQBIN)\" \"OPT=$(OPT)\"\n"; +(* print "MAKE=make \"COQBIN=$(COQBIN)\" \"OPT=$(OPT)\"\n"; *) print "COQSRC=-I $(COQTOP)/kernel -I $(COQTOP)/lib \\ -I $(COQTOP)/library -I $(COQTOP)/parsing -I $(COQTOP)/pretyping \\ -I $(COQTOP)/proofs -I $(COQTOP)/syntax -I $(COQTOP)/tactics \\ -- cgit v1.2.3