diff options
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 \\ |