diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-11-17 13:49:32 +0000 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-11-17 13:49:32 +0000 |
commit | 310aa49cb8488436178732cc60258abd2e7807c9 (patch) | |
tree | b6ae62e0565c4e361b4f089e5407a6164e3b4971 | |
parent | 267c56318bcf4788492cf9cdd27dec17b6e2f021 (diff) | |
download | ocaml-310aa49cb8488436178732cc60258abd2e7807c9.tar.gz |
highlight that runtime/caml/sizeclasses.h is generated from tools/gen_sizeclasses.ml; flag runtime/caml/sizeclasses.h as not needing a license for check-typo
-rw-r--r-- | .gitattributes | 1 | ||||
-rw-r--r-- | runtime/caml/sizeclasses.h | 1 | ||||
-rw-r--r-- | tools/gen_sizeclasses.ml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index 7ac7124644..413d9c5516 100644 --- a/.gitattributes +++ b/.gitattributes @@ -184,6 +184,7 @@ tools/markdown-add-pr-links.sh text eol=lf runtime/caml/m.h.in text eol=lf runtime/caml/s.h.in text eol=lf runtime/caml/compatibility.h typo.long-line=may +runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol # These are all Perl scripts, so may not actually require this manual/tools/caml-tex text eol=lf diff --git a/runtime/caml/sizeclasses.h b/runtime/caml/sizeclasses.h index 548f207161..83d9ccf2f5 100644 --- a/runtime/caml/sizeclasses.h +++ b/runtime/caml/sizeclasses.h @@ -1,3 +1,4 @@ +/* This file is generated by tools/gen_sizeclasses.ml */ #define POOL_WSIZE 4096 #define POOL_HEADER_WSIZE 4 #define SIZECLASS_MAX 128 diff --git a/tools/gen_sizeclasses.ml b/tools/gen_sizeclasses.ml index 889f5d44b6..eb0a80d3bc 100644 --- a/tools/gen_sizeclasses.ml +++ b/tools/gen_sizeclasses.ml @@ -67,6 +67,7 @@ let rec print_list ppf = function | x :: xs -> fprintf ppf "%d,@ %a" x print_list xs let _ = + printf "/* This file is generated by tools/gen_sizeclasses.ml */\n"; printf "#define POOL_WSIZE %d\n" arena; printf "#define POOL_HEADER_WSIZE %d\n" header_size; printf "#define SIZECLASS_MAX %d\n" max_slot; |