diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-28 20:00:34 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-28 20:01:21 +0100 |
commit | 743771e5e7e0938e1162b30fcb330347ca5d283e (patch) | |
tree | 9130c289da86e2b37cb001faa26823de9ed8cff4 /ocamltest/Makefile | |
parent | 34f51d44c96416d1c398e4780753f4b012c4a956 (diff) | |
parent | e6096b8f6c3211a83f7855bda3d820c2408257dd (diff) | |
download | ocaml-743771e5e7e0938e1162b30fcb330347ca5d283e.tar.gz |
Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_gc_4_10
Diffstat (limited to 'ocamltest/Makefile')
-rw-r--r-- | ocamltest/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ocamltest/Makefile b/ocamltest/Makefile index 0065cc6876..9694b94b3c 100644 --- a/ocamltest/Makefile +++ b/ocamltest/Makefile @@ -220,9 +220,6 @@ ocamltest.opt$(EXE): $(native_modules) %.ml: %.mll $(ocamllex) $(OCAMLLEX_FLAGS) $< -%.$(O): %.c - $(CC) $(OC_CFLAGS) $(OC_CPPFLAGS) -c $< - ocamltest_config.ml: ocamltest_config.ml.in Makefile ../Makefile.config sed \ -e 's|@@AFL_INSTRUMENT@@|$(AFL_INSTRUMENT)|' \ |