skip.inc 452 B

1234567891011121314
  1. <?php
  2. // Check that the dl_test extension is built. We don't use the --EXTENSIONS--
  3. // section because we want to load the extension with dl().
  4. if (PHP_OS_FAMILY === 'Windows') {
  5. $path = ini_get('extension_dir') . DIRECTORY_SEPARATOR . 'php_dl_test.dll';
  6. } else {
  7. $path = ini_get('extension_dir') . DIRECTORY_SEPARATOR . 'dl_test.so';
  8. }
  9. if (!file_exists($path)) {
  10. die(sprintf('skip dl_test extension is not built (tried %s)', $path));
  11. }