diff options
author | Stephen Dolan <sdolan@janestreet.com> | 2019-05-22 15:57:01 +0100 |
---|---|---|
committer | Stephen Dolan <sdolan@janestreet.com> | 2019-05-27 13:24:41 +0100 |
commit | 35ea7eb9a44249285b80b963841cf0a609562f1e (patch) | |
tree | d6f9df01272268e0576287910253c13cd5a2ee0d /.gitignore | |
parent | 455bd0ffae85a9b63cb331ac532ea2ab52fe418c (diff) | |
download | ocaml-35ea7eb9a44249285b80b963841cf0a609562f1e.tar.gz |
Avoid rebuilding the world when files containing primitives change.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 513a270404..2ae570771c 100644 --- a/.gitignore +++ b/.gitignore @@ -177,6 +177,7 @@ _build /runtime/caml/m.h /runtime/caml/s.h /runtime/primitives +/runtime/primitives.new /runtime/prims.c /runtime/caml/opnames.h /runtime/caml/version.h |