clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 02:17:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename script.

Browse Source 
Add check for CLI version
This commit is contained in:
Frank M. Kromann 2003-01-31 18:51:28 +00:00
parent bea6ff5183
commit b079cc2af5
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
ext/ext_skel.php → ext/ext_skel_win32.php
View File

@ -1,6 +1,10 @@
<?php
/* $Id$ */
if (php_sapi_name() != "cli") {
echo "Please run this script using the CLI version of PHP\n";
exit;
}
/*
This script can be used on Win32 systems
@ -21,15 +25,19 @@ array_shift($argv);
system("sh ext_skel " . implode(" ", $argv));
$extname = "";
$skel = "skeleton";
foreach($argv as $arg) {
if (strtolower(substr($arg, 0, 9)) == "--extname") {
$extname = substr($arg, 10);
}
if (strtolower(substr($arg, 0, 6)) == "--skel") {
$skel = substr($arg, 7);
}
}
$fp = fopen("skeleton/skeleton.dsp", "rb");
$fp = fopen("$skel/skeleton.dsp", "rb");
if ($fp) {
$dsp_file = fread($fp, filesize("skeleton/skeleton.dsp"));
$dsp_file = fread($fp, filesize("$skel/skeleton.dsp"));
fclose($fp);
$dsp_file = str_replace("extname", $extname, $dsp_file);