From a07399dce2cf8a2a27f1c95ca12633a6adb40852 Mon Sep 17 00:00:00 2001
From: Jaime Perez Crespo <jaime.perez@uninett.no>
Date: Thu, 4 Feb 2016 15:49:52 +0100
Subject: [PATCH] Try to fix build.
---
tools/phpunit/phpunit.xml | 1 -
1 file changed, 1 deletion(-)
diff --git a/tools/phpunit/phpunit.xml b/tools/phpunit/phpunit.xml
index 7b43a2ef3..2a4cb9373 100644
--- a/tools/phpunit/phpunit.xml
+++ b/tools/phpunit/phpunit.xml
@@ -18,7 +18,6 @@
<whitelist processUncoveredFilesFromWhitelist="true">
<directory suffix=".php">./../../lib/</directory>
<directory suffix=".php">./../../modules/core/lib/</directory>
- <directory suffix=".php">./../../modules/saml/lib/</directory>
<exclude>
<directory>./../../vendor/</directory>
<directory>./../../tests/</directory>
--
GitLab