mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
MFH: improve the script
This commit is contained in:
parent
935b0c88e9
commit
42d4e3533e
1 changed files with 33 additions and 1 deletions
|
@ -333,4 +333,36 @@ function recurse($path)
|
|||
}
|
||||
}
|
||||
|
||||
recurse(PHPDIR);
|
||||
$dirs = array();
|
||||
|
||||
if (isset($argc) && $argc > 1) {
|
||||
if ($argv[1] == '-h' || $argv[1] == '-help' || $argv[1] == '--help') {
|
||||
echo <<<HELP
|
||||
Synopsis:
|
||||
php check_parameters.php [directories]
|
||||
|
||||
HELP;
|
||||
exit(0);
|
||||
}
|
||||
for ($i = 1; $i < $argc; $i++) {
|
||||
$dirs[] = $argv[$i];
|
||||
}
|
||||
} else {
|
||||
$dirs[] = PHPDIR;
|
||||
}
|
||||
|
||||
foreach($dirs as $dir) {
|
||||
if (is_dir($dir)) {
|
||||
if (!is_readable($dir)) {
|
||||
echo "ERROR: directory '", $dir ,"' is not readable\n";
|
||||
exit(1);
|
||||
}
|
||||
} else {
|
||||
echo "ERROR: bogus directory '", $dir ,"'\n";
|
||||
exit(1);
|
||||
}
|
||||
}
|
||||
|
||||
foreach ($dirs as $dir) {
|
||||
recurse($dir);
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue