From df04aeadefb4e1c34c7ef8b9123947ff045a34d9 Mon Sep 17 00:00:00 2001
From: Pavel Yatcheniy <yatcheniy.pavel@huawei.com>
Date: Thu, 17 Jun 2021 16:49:52 +0300
Subject: Test failure for WSL 1

---
 test/Runtime/POSIX/Futimesat.c | 2 ++
 test/lit.cfg                   | 8 ++++++++
 2 files changed, 10 insertions(+)

(limited to 'test')

diff --git a/test/Runtime/POSIX/Futimesat.c b/test/Runtime/POSIX/Futimesat.c
index bb95ac58..11ecf341 100644
--- a/test/Runtime/POSIX/Futimesat.c
+++ b/test/Runtime/POSIX/Futimesat.c
@@ -1,3 +1,5 @@
+// REQUIRES: not-wsl-1
+// Disabling WSL 1 because futimesat syscall may be not implemented
 // RUN: %clang %s -emit-llvm %O0opt -g -c -DTDIR=%T -o %t2.bc
 // RUN: touch %T/futimesat-dummy
 // RUN: rm -rf %t.klee-out
diff --git a/test/lit.cfg b/test/lit.cfg
index a195a1dc..4138a59d 100644
--- a/test/lit.cfg
+++ b/test/lit.cfg
@@ -211,6 +211,14 @@ for target in supported_targets:
     config.available_features.add(target)
   else:
     config.available_features.add('not-{}'.format(target))
+if 'WSL_DISTRO_NAME' in os.environ and 'WSL_INTEROP' not in os.environ:
+  config.available_features.add('wsl-1')
+else:
+  config.available_features.add('not-wsl-1')
+if 'WSL_DISTRO_NAME' in os.environ and 'WSL_INTEROP' in os.environ:
+  config.available_features.add('wsl-2')
+else:
+  config.available_features.add('not-wsl-2')
 
 # Sanitizer
 config.available_features.add('{}asan'.format('' if config.have_asan else 'not-'))
-- 
cgit 1.4.1