From a4e971b9e076580b8e7aa9fb4b0d669df8f89d74 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 9 Jan 2020 11:21:23 -0600 Subject: [PATCH 1/2] Ignore UnionFind.install --- vendors/UnionFind/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 vendors/UnionFind/.gitignore diff --git a/vendors/UnionFind/.gitignore b/vendors/UnionFind/.gitignore new file mode 100644 index 000000000..5d4c68219 --- /dev/null +++ b/vendors/UnionFind/.gitignore @@ -0,0 +1 @@ +*.install From 2232e7f34f2efc8838d78677a2832b5d9c1aafea Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 9 Jan 2020 11:21:28 -0600 Subject: [PATCH 2/2] Suppress noisy and useless test in UnionFind --- vendors/UnionFind/dune | 5 ----- 1 file changed, 5 deletions(-) diff --git a/vendors/UnionFind/dune b/vendors/UnionFind/dune index 13ad33239..192e35c79 100644 --- a/vendors/UnionFind/dune +++ b/vendors/UnionFind/dune @@ -4,8 +4,3 @@ (wrapped false) (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind) (modules_without_implementation Partition)) - -(test - (modules PartitionMain) - (libraries UnionFind) - (name PartitionMain))