diff options
| author | JPR <jprodi04@gmail.com> | 2021-06-06 22:26:25 +0200 |
|---|---|---|
| committer | JPR <jprodi04@gmail.com> | 2021-06-06 22:26:25 +0200 |
| commit | cff9abaabf7d40b273cb726e1bcff516ccaf4af6 (patch) | |
| tree | a790790a98ba42eda04bfebea53700dde37d6d4d /Makefile.common | |
| parent | 0733be3c7c653873d5dc1d53e4882d7493b27dfd (diff) | |
| download | ocaml-cff9abaabf7d40b273cb726e1bcff516ccaf4af6.tar.gz | |
Typos
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index a460cff01b..1f5ca0ec7c 100644 --- a/Makefile.common +++ b/Makefile.common @@ -142,7 +142,7 @@ endef # PROGRAM_SYNONYM BOOT_OCAMLLEX ?= $(OCAMLRUN) $(ROOTDIR)/boot/ocamllex # Default value for OCAMLLEX -# In those directories where this needs to be overriden, the overriding +# In those directories where this needs to be overridden, the overriding # should take place *before* Makefile.common is included. OCAMLLEX ?= $(BEST_OCAMLLEX) |