diff options
| author | Thijs Kinkhorst <thijs@kinkhorst.com> | 2016-09-21 16:42:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-21 16:42:35 +0200 |
| commit | dbdddf39854b7983a61b2592c93ff9a7fe8433af (patch) | |
| tree | 2adeb18ce69fb8e895904480f058c0144484d7e8 /lib/SimpleSAML/SessionHandlerPHP.php | |
| parent | a823e71ea6df9ae0ddd233594bf355c2834b0120 (diff) | |
| download | simplesamlphp-dbdddf39854b7983a61b2592c93ff9a7fe8433af.zip simplesamlphp-dbdddf39854b7983a61b2592c93ff9a7fe8433af.tar.gz simplesamlphp-dbdddf39854b7983a61b2592c93ff9a7fe8433af.tar.bz2 | |
Avoid travis segfaulting phpunit withn PHP 5.3 (#477)
The segfault happens in the coverage report. Since we send coverage
info only with PHP 5.6, avoid running it entirely, saves buildtime aswell.
Diffstat (limited to 'lib/SimpleSAML/SessionHandlerPHP.php')
0 files changed, 0 insertions, 0 deletions