diff options
| -rw-r--r-- | Makefile.nt | 2 |
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: |