diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 14:11:22 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 14:11:22 +0100 |
| commit | f53bc323cdbd9cfea865da6a14920e1b133d6a5c (patch) | |
| tree | 7c45b441af8afef1e590476e35316077328a2a11 /ocamltest | |
| parent | 1ced604dde33bfe443771f2c47dcd29ccfb9e5bd (diff) | |
| parent | 6462df79a89cede5c54ed53f1e2ff83309006633 (diff) | |
| download | ocaml-f53bc323cdbd9cfea865da6a14920e1b133d6a5c.tar.gz | |
Merge commit '6462df79a89cede5c54ed53f1e2ff83309006633' into parallel_minor_gc_4_13
Diffstat (limited to 'ocamltest')
| -rw-r--r-- | ocamltest/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamltest/Makefile b/ocamltest/Makefile index eb0f10ccc6..4f5c60479a 100644 --- a/ocamltest/Makefile +++ b/ocamltest/Makefile @@ -190,7 +190,7 @@ include_directories := $(addprefix -I , $(directories)) flags := -g -nostdlib $(include_directories) \ -strict-sequence -safe-string -strict-formats \ - -w +a-4-9-41-42-44-45-48 -warn-error A + -w +a-4-9-41-42-44-45-48 -warn-error +A ocamlc = $(BEST_OCAMLC) $(flags) |