diff options
| -rwxr-xr-x | ext/ext_skel.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/ext_skel.php b/ext/ext_skel.php index f796a0d8d6..96f6825a4e 100755 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -138,7 +138,7 @@ function process_args($argv, $argc) { if (!isset($argv[$i + 1]) || ($argv[$i + 1]{0} == '-' && $argv[$i + 1]{1} == '-')) { error('Argument "' . $val . '" expects a value, none passed'); } else if ($opt == 'dir' && empty($argv[$i + 1])) { - continue; + continue 2; } $options[$opt] = ($opt == 'dir' ? realpath($argv[$i + 1]) . DIRECTORY_SEPARATOR : $argv[$i + 1]); |