mirror of
https://github.com/php/php-src.git
synced 2025-08-18 15:08:55 +02:00
support for passing description file name on command line
This commit is contained in:
parent
95d756f467
commit
e9787cd2fd
1 changed files with 3 additions and 1 deletions
|
@ -1,7 +1,9 @@
|
||||||
<?php
|
<?php
|
||||||
require_once "extension_parser.php";
|
require_once "extension_parser.php";
|
||||||
|
|
||||||
$ext = &new extension_parser(fopen("extension.xml", "r"));
|
$filename = isset($_SERVER["argv"][1]) ? $_SERVER["argv"][1] : "extension.xml";
|
||||||
|
|
||||||
|
$ext = &new extension_parser(fopen($filename, "r"));
|
||||||
|
|
||||||
system("rm -rf {$ext->name}");
|
system("rm -rf {$ext->name}");
|
||||||
mkdir($ext->name);
|
mkdir($ext->name);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue