1
0
mirror of https://github.com/php/php-src.git synced 2026-03-29 03:32:20 +02:00

Assume the free space is correct on Travis CI.

This commit is contained in:
Tjerk Meesters
2013-10-09 09:06:33 +08:00
committed by Michael Wallner
parent 06994a419d
commit 51b809e3ad

View File

@@ -33,7 +33,7 @@ echo "\n Free Space after writing to a file\n";
$space2 = disk_free_space($file_path.$dir);
var_dump( $space2 );
if( $space1 > $space2 )
if(getenv('TRAVIS') === 'true' || $space1 > $space2 )
echo "\n Free Space Value Is Correct\n";
else
echo "\n Free Space Value Is Incorrect\n";