From 8ab825d7e9546eb212814b09badb2af3a06fe9fd Mon Sep 17 00:00:00 2001 From: KC Sivaramakrishnan Date: Sun, 23 Jun 2019 11:36:47 +0530 Subject: Fix makefile, gitignore and a stray extern declaration --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 2ae570771c..ead3b8c2fc 100644 --- a/.gitignore +++ b/.gitignore @@ -190,6 +190,8 @@ _build /runtime/.gdb_history /runtime/*.d.c /runtime/*.pic.c +/runtime/domain_state32.inc +/runtime/domain_state64.inc /stdlib/camlheader /stdlib/target_camlheader @@ -258,6 +260,8 @@ _build /tools/caml-tex /utils/config.ml +/utils/domainstate.ml +/utils/domainstate.mli /yacc/ocamlyacc /yacc/version.h -- cgit v1.2.1