summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-07-19 15:12:49 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-07-19 15:12:49 +0200
commitf06344a026088923d5748abfa81482ea9701b41f (patch)
tree252844fa6d7bf0e7e51baa35ca343718b6164170
parentd483d04be5dab9f7ad7304e2ae08943eedb3a557 (diff)
downloadocaml-f06344a026088923d5748abfa81482ea9701b41f.tar.gz
ignore and clean up new generated files in tests/typing-multifile
-rw-r--r--.gitignore3
-rw-r--r--testsuite/tests/typing-multifile/Makefile2
2 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index cdb5ac9622..39fc7569f2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -314,6 +314,9 @@
/testsuite/tests/typing-multifile/c.ml
/testsuite/tests/typing-multifile/d.mli
/testsuite/tests/typing-multifile/e.ml
+/testsuite/tests/typing-multifile/f.ml
+/testsuite/tests/typing-multifile/g.ml
+/testsuite/tests/typing-multifile/test
/testsuite/tests/unboxed-primitive-args/main.ml
/testsuite/tests/unboxed-primitive-args/stubs.c
diff --git a/testsuite/tests/typing-multifile/Makefile b/testsuite/tests/typing-multifile/Makefile
index 0edcb36c5d..43963ed736 100644
--- a/testsuite/tests/typing-multifile/Makefile
+++ b/testsuite/tests/typing-multifile/Makefile
@@ -14,7 +14,7 @@
#**************************************************************************
BASEDIR=../..
-GENERATED= a.ml b.ml c.ml d.mli e.ml
+GENERATED= a.ml b.ml c.ml d.mli e.ml f.ml g.ml test
default: pr7325 pr6372 pr7563