PHPCOVERAGE_HOME=/path/to/coverage/home'\n"; die($msg); } // Fallback if( ! defined("PHPCOVERAGE_HOME")) { $include_path = get_include_path(); set_include_path($PHPCOVERAGE_HOME. PATH_SEPARATOR . $include_path); define('PHPCOVERAGE_HOME', $PHPCOVERAGE_HOME); } error_log("[phpcoverage.inc.php] PHPCOVERAGE_HOME=" . $PHPCOVERAGE_HOME); error_log("[phpcoverage.inc.php] PHPCOVERAGE_REPORT_DIR=" . $PHPCOVERAGE_REPORT_DIR); error_log("[phpcoverage.inc.php] PHPCOVERAGE_APPBASE_PATH=" . $PHPCOVERAGE_APPBASE_PATH); ?>