diff options
| author | Jakub Wieczorek <jakub@jakub.cc> | 2014-06-20 23:06:06 +0200 |
|---|---|---|
| committer | Jakub Wieczorek <jakub@jakub.cc> | 2014-06-20 23:07:22 +0200 |
| commit | a88819adbecabd9f26aec4423415044db4f66279 (patch) | |
| tree | 2e9f8be5b9fb0d6e7e4d4f135956c6d583c9fe8e /src | |
| parent | abce42afa39d879a5ced511e7f5a62d8120155ff (diff) | |
| download | rust-a88819adbecabd9f26aec4423415044db4f66279.tar.gz rust-a88819adbecabd9f26aec4423415044db4f66279.zip | |
Ignore issue-14393 on Windows
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/run-pass/issue-14393.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/run-pass/issue-14393.rs b/src/test/run-pass/issue-14393.rs index e97021b4869..87108294ff3 100644 --- a/src/test/run-pass/issue-14393.rs +++ b/src/test/run-pass/issue-14393.rs @@ -8,6 +8,8 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. +// ignore-win32: FIXME #13793 + fn main() { match ("", 1u) { (_, 42u) => (), |