diff options
| author | Stephen Dolan <sdolan@janestreet.com> | 2019-08-27 13:30:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-27 13:30:22 +0100 |
| commit | 5ad64306d36755b600f2556805effb73627508c8 (patch) | |
| tree | 8646fde636581716aada06b777181dde16e54890 /.gitignore | |
| parent | f40011556c2ca3a11b323d4215f17cf8caacdae9 (diff) | |
| parent | f61bb77691897bdc978b0ec7be84fe863feedcf0 (diff) | |
| download | ocaml-5ad64306d36755b600f2556805effb73627508c8.tar.gz | |
Merge pull request #8713 from kayceesrk/r14-globals
Move C global variables to a dedicated structure
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b7541980e3..ff1bf28050 100644 --- a/.gitignore +++ b/.gitignore @@ -189,6 +189,8 @@ _build /runtime/.gdb_history /runtime/*.d.c /runtime/*.pic.c +/runtime/domain_state32.inc +/runtime/domain_state64.inc /stdlib/camlheader /stdlib/target_camlheader @@ -257,6 +259,8 @@ _build /tools/caml-tex /utils/config.ml +/utils/domainstate.ml +/utils/domainstate.mli /yacc/ocamlyacc /yacc/version.h |