diff options
Diffstat (limited to 'bindings')
| -rw-r--r-- | bindings/ocaml/Makefile.ocaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bindings/ocaml/Makefile.ocaml b/bindings/ocaml/Makefile.ocaml index 9b7e19f571..8edb180c3d 100644 --- a/bindings/ocaml/Makefile.ocaml +++ b/bindings/ocaml/Makefile.ocaml @@ -260,7 +260,7 @@ $(ObjDir)/%.cmx: $(ObjDir)/%.ml $(Verb) $(Compile.CMX) $@ $< clean-cmxa:: - $(Verb) $(RM) -f $(OutputCMXA) $(OutputCMXA:.cmxa=.o) $(OutputsCMX) + $(Verb) $(RM) -f $(OutputCMXA) $(OutputCMXA:.cmxa=.a) $(OutputsCMX) install-cmxa:: $(OutputCMXA) $(OutputsCMX) $(Verb) $(MKDIR) $(PROJ_libocamldir) |