diff options
| -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; |