Bug #76723 [NEW]: Zip extension tests aren't being running in GCOV

From: carusogabriel@php.net Operating system: PHP version: Irrelevant Package: Testing related Bug Type: Bug Bug description:Zip extension tests aren't being running in GCOV Description: ------------ Recently, during some tests clean up, I've fixed some SKIPIF sections in our tests, and due to this work (http://gcov.php.net/viewer.php?version=PHP_HEAD&func=skip&file=ext%2Ffileinfo%2Ftests%2Ffinfo_file_stream_001.phpt), I noticed that we aren't running our Zip extension tests in GCOV. The --enable-zip flag is missing during our configuration: http://gcov.php.net/viewer.php?version=PHP_HEAD&func=system. Is there a specific reason why we don't run them there? In contrast, we do run them in our CIs, Travis (http://git.php.net/?p=php-src.git;a=blob;f=travis/compile.sh;hb=HEAD#l47) for example. I've already reported to internals@ (http://news.php.net/php.internals/103053), but I believe here at bugs.php.net is a better place to discuss and track this issue. Thanks -- Edit bug report at https://bugs.php.net/bug.php?id=76723&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76723&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76723&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76723&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76723&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76723&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76723&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76723&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76723&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76723&r=support Expected behavior: https://bugs.php.net/fix.php?id=76723&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76723&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76723&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76723&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76723&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76723&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76723&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76723&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76723&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76723&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76723&r=mysqlcfg