Rename script.

Add check for CLI version

diff --git a/ext/ext_skel.php b/ext/ext_skel_win32.php
similarity index 75%
rename from ext/ext_skel.php
rename to ext/ext_skel_win32.php
index c2891a05f4349c508567d5a527ead4f8495903b4..5036ad21d8534b00354273e95b1896be37b8655f 100644 (file)
--- a/ext/ext_skel.php
+++ b/ext/ext_skel_win32.php
@@ -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);