From 0385b371727fbc5cafa7a4b6eddeb638ea1eb2b3 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Sat, 1 Jun 2019 15:27:25 +0200 Subject: [PATCH] fix minor Makefile bug --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f637bd1..e03080e 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ OCAMLOPT=ocamlfind ocamlopt $(OCAML) $(FLAGS) -c $< interp: $(OBJS) - $(OCAML) $(FLAGS) -linkpkg -o $@ $< + $(OCAML) $(FLAGS) -linkpkg -o $@ $+ interpopt: $(OBJS:.cmo=.cmx) - $(OCAMLOPT) $(FLAGS) -linkpkg -o $@ $< \ No newline at end of file + $(OCAMLOPT) $(FLAGS) -linkpkg -o $@ $+