Merge pull request #40824 from ElvishJerricco/dont-check-enclosed-exceptions

Dont test enclosed exceptions
This commit is contained in:
Peter Simons 2018-05-21 13:30:55 +02:00 committed by GitHub
commit 5f6c0dd00a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -408,6 +408,9 @@ self: super: {
jailbreak = true; jailbreak = true;
}); });
# https://github.com/jcristovao/enclosed-exceptions/issues/12
enclosed-exceptions = dontCheck super.enclosed-exceptions;
# Older versions don't compile. # Older versions don't compile.
base-compat = self.base-compat_0_10_1; base-compat = self.base-compat_0_10_1;
brick = self.brick_0_37; brick = self.brick_0_37;