summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-05-07 13:08:11 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-05-07 13:08:11 +0000
commitab756fbfe310fe1b25c0ea16554258520a579c87 (patch)
tree4fc7eefc379919858e23436e6d95e1994efe53f8
parent273162ae77ca32ad818bcc17025511ab447ea469 (diff)
MAJ LIBFILES.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--Makefile.nt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.nt b/Makefile.nt
index 79ec121da..ce10ee37e 100644
--- a/Makefile.nt
+++ b/Makefile.nt
@@ -116,7 +116,7 @@ bootstrap:
# Check if fixpoint reached
$(MAKEREC) compare
-LIBFILES=stdlib.cma std_exit.cmo *.cmi ocamlheader
+LIBFILES=stdlib.cma std_exit.cmo *.cmi camlheader
# Start up the system from the distribution compiler
coldstart: